1/* <module> xlisting_web
    2% Provides /logicmoo runtime preds browsing
    3%
    4%
    5% Logicmoo Project PrologMUD: A MUD server written in Prolog
    6% Maintainer: Douglas Miles
    7% Dec 13, 2035
    8%
    9*/
   10% :-module(xlisting_web,[ensure_sigma/0,search4term/0]).
   11%:- if(( ( \+ ((current_prolog_flag(logicmoo_include,Call),Call))) )). 
   12:- module(xlisting_web,
   13          [ action_menu_applied/3,
   14            %action_menu_item/2,
   15            add_form_script/0,
   16            register_logicmoo_browser/0,
   17            as_ftVars/1,
   18            call_for_terms/1,
   19            classify_alpha_tail/1,
   20            classify_name/2,
   21            classify_other_tail/1,
   22            current_form_var/1,
   23            current_line_position/1,
   24            current_line_position/2,
   25            cvt_param_to_term/2,
   26            cvt_param_to_term/3,
   27            do_guitracer/0,
   28            edit1term/0,
   29            output_telnet_console/1,
   30            edit1term/1,
   31            ensure_sigma/1,
   32            ensure_sigma/0,
   33            find_cl_ref/2,
   34            find_ref/2,
   35            fmtimg/2,
   36            'functor spec'/4,
   37            functor_to_color/2,
   38            functor_to_color/4,
   39            
   40            get_http_current_request/1,
   41            get_http_session/1,
   42            get_nv_session/3,
   43            get_param_req/2,
   44            get_param_sess/2,
   45            get_param_sess/3,
   46            get_request_vars/1,
   47            handler_logicmoo_cyclone/1,
   48            head_functor_sort/3,
   49            must_run/1,
   50            human_language/1,
   51            i2tml_hbr/3,
   52            if_html/2,
   53            output_html/1,
   54            write_html/1,
   55            show_map_legend/0,
   56            indent_nbsp/1,
   57            indent_nbsp/2,
   58            indent_nl/0,
   59            is_cgi_stream/0,
   60            is_context/2,
   61            is_goog_bot/0,
   62            'list clauses'/4,
   63            'list magic'/2,
   64            'list magic'/3,
   65            'list magic'/4,
   66            logic_lang_name/2,
   67            make_page_pretext_obj/1,
   68            make_quotable/2,
   69            make_session/1,
   70            maybe_paren/5,
   71            maybe_space/2,
   72            member_open/2,
   73            merge_key_vals/3,
   74            name_the_var/5,
   75            nl_same_pos/0,
   76            numberlist_at/2,
   77            object_sub_page/4,
   78            %param_default_value/2,
   79            param_matches/2,
   80            parameter_names/2,
   81            %partOfSpeech/2,
   82            portable_display/1,
   83            portable_listing/0,
   84            portable_listing/1,
   85            portable_print/1,
   86            portable_write/1,
   87            portable_writeq/1,
   88            pp_i2tml/1,
   89            pp_i2tml_now/1,
   90            pp_i2tml_save_seen/1,
   91            pp_i2tml_saved_done/1,
   92            pp_i2tml_v/1,
   93            pp_item_html/2,
   94            pp_item_html_if_in_range/2,
   95            pp_item_html_now/2,
   96            pp_now/0,
   97            print_request/1,
   98            prover_name/2,
   99            
  100            reply_object_sub_page/1,
  101            reset_assertion_display/0,
  102            return_to_pos/1,
  103            rok_portray_clause/1,
  104            save_in_session/1,
  105            save_in_session/2,
  106            save_in_session/3,
  107            save_request_in_session/1,
  108            search4term/0,
  109            search_filter_name_comment/3,
  110            section_close/1,
  111            section_open/1,
  112            sensical_nonvar/1,
  113            session_checkbox/3,
  114            session_checked/1,
  115            set_line_pos/1,
  116            set_line_pos/2,
  117            show_clause_ref/1,
  118            show_clause_ref_now/1,
  119            show_edit_term/3,
  120               show_http_session/0,
  121            show_iframe/1,
  122            show_iframe/3,
  123            show_pcall_footer/0,
  124            show_search_filters/1,
  125            show_search_filtersTop/1,
  126            term_to_pretty_string/2,
  127            this_listing/1,
  128            test_tmw/0,
  129            tovl/3,
  130            url_decode/2,
  131            url_decode_term/2,
  132            url_encode/2,
  133            url_encode_term/3,
  134            with_search_filters/1,
  135            with_search_filters0/1,
  136            write_VAR/4,
  137            write_args/5,
  138            write_as_url_encoded/2,
  139            write_atom/4,
  140            write_atom_link/1,
  141            write_atom_link/2,
  142            write_atom_link/3,
  143            write_begin_html/3,
  144            write_end_html/0,
  145            write_oper/5,
  146            write_out/5,
  147            write_oout/7,
  148            write_tail/2,
  149            write_term_to_atom_one/2,
  150            write_variable/1,
  151          
  152          xlisting_web_file/0
  153            /*
  154            http:location/3,
  155            http_dispatch:handler/4,
  156            http_log:log_stream/2,
  157            http_session:session_data/2,
  158            http_session:urandom_handle/1,
  159            system:'$init_goal'/3,
  160            user:file_search_path/2
  161            */
  162          ]).  163
  164
  165:- set_module(class(library)).  166:- use_module(library(attvar_serializer)).  167:- use_module(library(each_call_cleanup)).  168:- use_module(library(no_repeats)).  169
  170
  171:- dynamic user:library_directory/1.  172:- multifile user:library_directory/1.  173hide_xpce_library_directory:- 
  174  user:library_directory(X),
  175  atom(X),
  176  atom_concat(_,'xpce/prolog/lib/',X),!,
  177  retract((user:library_directory(X))),
  178  assert((user:library_directory(X):- \+ current_prolog_flag(hide_xpce_library_directory,true))).
  179hide_xpce_library_directory.
  180
  181:- hide_xpce_library_directory.  182:- set_prolog_flag(hide_xpce_library_directory,true).  183
  184%:- ensure_loaded(library(logicmoo_swilib)).
  185:- use_module(library(http/thread_httpd)).  186:- use_module(thread_httpd:library(http/http_dispatch)).  187:- use_module(swi(library/http/html_write)).  188:- use_module(swi(library/http/html_head)).  189:- use_module(library(http/http_dispatch)).  190:- use_module(library(http/http_path)).  191:- use_module(library(http/http_log)).  192:- use_module(library(http/http_client)).  193:- use_module(library(http/http_server_files)).  194:- use_module(library(http/http_parameters)).  195:- use_module(library(with_no_x)).  196
  197:- use_module(library(with_thread_local)).  198:- use_module(library(predicate_streams)).  199:- use_module(library(butterfly)).  200
  201
  202:- thread_local(t_l:no_cycstrings/0).  203:- asserta(t_l:no_cycstrings).  204
  205/*
  206:- include(library('pfc2.0'/'mpred_header.pi')).
  207:-
  208 op(1199,fx,('==>')), 
  209 op(1190,xfx,('::::')),
  210 op(1180,xfx,('==>')),
  211 op(1170,xfx,'<==>'),  
  212 op(1160,xfx,('<-')),
  213 op(1150,xfx,'=>'),
  214 op(1140,xfx,'<='),
  215 op(1130,xfx,'<=>'), 
  216 op(600,yfx,'&'), 
  217 op(600,yfx,'v'),
  218 op(350,xfx,'xor'),
  219 op(300,fx,'~'),
  220 op(300,fx,'-').
  221
  222:- 
  223 user:((
  224 op(1199,fx,('==>')), 
  225 op(1190,xfx,('::::')),
  226 op(1180,xfx,('==>')),
  227 op(1170,xfx,'<==>'),  
  228 op(1160,xfx,('<-')),
  229 op(1150,xfx,'=>'),
  230 op(1140,xfx,'<='),
  231 op(1130,xfx,'<=>'), 
  232 op(600,yfx,'&'), 
  233 op(600,yfx,'v'),
  234 op(350,xfx,'xor'),
  235 op(300,fx,'~'),
  236 op(300,fx,'-'))).
  237*/
  238%:- endif.
  239
  240:- thread_local(t_l:print_mode/1).  241
  242:- if(exists_source(cliopatria('applications/help/load'))).  243:- use_module(cliopatria('applications/help/load')).  244% Load ClioPatria itself.  Better keep this line.
  245:- use_module(cliopatria(cliopatria)).  246:- else.  247cp_menu:cp_menu(X,X).
  248cp_menu:cp_menu.
  249:- endif.  250
  251:- kb_global(baseKB:param_default_value/2).  252:- kb_global(baseKB:mtExact/1).  253
  254:- meta_predicate 
  255        edit1term(*),
  256        handler_logicmoo_cyclone(+),
  257        must_run(*),
  258        output_html(//),
  259        if_html(?, 0),
  260        return_to_pos(0),
  261        show_edit_term(0, ?, ?),
  262        show_edit_term0(0, ?, ?),
  263        show_edit_term1(0, ?, ?),
  264        with_search_filters(0),
  265        with_search_filters0(0).  266:- (multifile http:location/3, http_dispatch:handler/4, http_log:log_stream/2, http_session:session_data/2, http_session:urandom_handle/1, baseKB:shared_hide_data/1, system:'$init_goal'/3, user:file_search_path/2).  267:- (module_transparent edit1term/1, must_run/1, if_html/2, return_to_pos/1, show_edit_term/3, show_edit_term0/3, show_edit_term1/3, with_search_filters/1).  268:- (volatile http_log:log_stream/2, http_session:session_data/2, http_session:urandom_handle/1).  269:- export((current_form_var0/1, get_http_session0/1,  is_context0/1, make_quotable_0/2, pp_i2tml_0/1, pp_i2tml_1/1, sanity_test_000/0, show_edit_term0/3, show_edit_term1/3, show_select1/2, show_select2/3)).  270:- multifile((lmcache:last_item_offered/1, http:location/3, http_dispatch:handler/4, http_session:session_data/2, http_session:urandom_handle/1,
  271   foobar/1, lmcache:last_http_request/1, lmcache:last_item_offered/1, system:'$init_goal'/3, user:file_search_path/2)).  272
  273
  274:- thread_initialization(nb_setval(pldoc_options,[ prefer(manual) ])).  275
  276:- meta_predicate must_run(0).  277:- meta_predicate must_run(0).  278:- meta_predicate with_search_filters(0).  279:- meta_predicate return_to_pos(0).  280:- meta_predicate show_edit_term1(0,*,*).  281:- meta_predicate show_edit_term0(0,*,*).  282:- meta_predicate show_edit_term(0,*,*).  283:- meta_predicate edit1term(0).  284
  285:- meta_predicate www_main_error_to_out(0).  286
  287www_main_error_to_out(G):- with_main_error_to_output(G).

 ensure_sigma(?ARG1) is det

Ensure Webserver.

  293ensure_sigma(Port) :- format(atom(A),'httpd@~w_1',[Port]),thread_property(_,alias(A)),!.
  294ensure_sigma(Port) :- on_x_debug(catch((http_server(http_dispatch,[ port(Port), workers(16) ])),E,wdmsg(E))).

 ensure_sigma is det

Ensure Webserver.

  302ensure_sigma:- ensure_sigma(3020).
  303
  304:- multifile(http_session:session_data/2).  305:- volatile(http_session:session_data/2).  306
  307:- multifile(system:'$loading_file'/3).  308:- volatile(system:'$loading_file'/3).  309
  310:- multifile(http_session:urandom_handle/1).  311:- volatile(http_session:urandom_handle/1).  312
  313:- multifile(http_log:log_stream/2).  314:- volatile(http_log:log_stream/2).  315
  316
  317
  318:- if( \+ exists_source(library(logicmoo_utils))).  319:- dynamic user:file_search_path/2.  320:- multifile user:file_search_path/2.  321:- prolog_load_context(directory,Dir),
  322   DirFor = mpred_online,
  323   (( \+ user:file_search_path(DirFor,Dir)) ->asserta(user:file_search_path(DirFor,Dir));true),
  324   absolute_file_name('../../',Y,[relative_to(Dir),file_type(directory)]),
  325   (( \+ user:file_search_path(pack,Y)) ->asserta(user:file_search_path(pack,Y));true).  326:- initialization(attach_packs,now).  327% [Required] Load the Logicmoo Library Utils
  328:- endif.  329 
  330
  331
  332
  333
  334% :- portray_text(false).  % or Enable portray of strings
  335
  336
  337:- thread_local(t_l:omit_full_stop).  338
  339% :- thread_property(_,alias('http@3020'))->true; http_server(http_dispatch, [port(3020)]).
  340
  341register_logicmoo_browser:- 
  342  http_handler('/logicmoo/', handler_logicmoo_cyclone, [prefix]), % chunked
  343  http_handler('/logicmoo_nc/', handler_logicmoo_cyclone, [prefix,chunked]),
  344  http_handler('/swish/logicmoo/', handler_logicmoo_cyclone, [prefix]), % chunked
  345  http_handler('/swish/logicmoo_nc/', handler_logicmoo_cyclone, [prefix,chunked]),
  346  doc_collect(true).

 location(?ARG1, ?ARG2, ?ARG3) is det

Hook To [http:location/3] For Module Mpred_www. Location.

  354:- assert_if_new(http:location(pixmapx, root(pixmapx), [])).

 user:file_search_path(?ARG1, ?ARG2) is det

Hook To [file_search_path/2] For Module Mpred_www. File Search Path.

  363:- prolog_load_context(directory,Here),atom_concat(Here,'/pixmapx',NewDir),asserta((user:file_search_path(pixmapx,NewDir))).  364% user:file_search_path(pixmapx, logicmoo('mpred_online/pixmapx')).
  365
  366:- during_boot(http_handler(pixmapx(.), http_server_files:serve_files_in_directory(pixmapx), [prefix])).  367
  368:- meta_predicate
  369	handler_logicmoo_cyclone(+).  370
  371:- must(prolog_load_context(module,xlisting_web)).  372in_xlisting_web1.
  373:- must( \+ pfc_lib:is_pfc_file0).  374:- ensure_loaded('xlisting_web.pfc').  375:- must( \+ is_pfc_file).  376
  377in_xlisting_web2.
  378:- xlisting_web:listing(in_xlisting_web2).

 print_request(:TermARG1) is det

Print Request.

  384print_request([]).
  385print_request([H|T]) :-
  386        H =.. [Name, Value],
  387        bformat(user_error,'<tr><td>~w<td>~w~n', [Name, Value]),
  388        print_request(T).
  389
  390
  391:- xlisting_web:listing(print_request/1).

 make_quotable_0(?ARG1, ?ARG2) is det

make quotable Primary Helper.

  400make_quotable_0(SUnq0,SObj):-
  401  any_to_string(SUnq0,SUnq),
  402  atom_subst(SUnq,'\\','\\\\',SObj0),atom_subst(SObj0,'\n','\\n',SObj1),atom_subst(SObj1,'"','\\\"',SObj).

 make_quotable(?ARG1, ?ARG2) is det

Make Quotable.

  410make_quotable(String,SObj):-string(String),format(string(SUnq),'~s',[String]),make_quotable_0(SUnq,SObj),!.
  411make_quotable(String,SObj):-atomic(String),format(string(SUnq),'~w',[String]),make_quotable_0(SUnq,SObj),!.
  412make_quotable(String,SObj):-format(string(SUnq),'~q',[String]),make_quotable_0(SUnq,SObj),!.
  413
  414% 
  415% <link rel="SHORTCUT ICON" href="/pixmapx/mini-logo.gif"><meta name="ROBOTS" content="NOINDEX, NOFOLLOW">
  416
  417% :- set_yes_debug.
  418
  419:- export(save_in_session/1).

 save_in_session(:TermARG1) is det

Save In Session.

  427save_in_session(NV):- \+ compound(NV),!.
  428save_in_session(NV):-is_list(NV),!,must_maplist(save_in_session,NV),!.
  429save_in_session(search([X=Y|R])):-nonvar(Y),is_list([X=Y|R]),once(save_in_session([X=Y|R])),!.
  430save_in_session(NV):-NV=..[N,V],!,must_run(save_in_session(N,V)),!.
  431save_in_session(N=V):- must_run(save_in_session(N,V)),!.
  432save_in_session(NV):- dmsg(not_save_in_session(NV)),!.
  433
  434:- export(save_in_session/2).

 save_in_session(?ARG1, ?ARG2) is det

Save In Session.

  442save_in_session(Unsaved,_):- member(Unsaved,[session_data,request_uri,search,pool,path,input,session]),!.
  443save_in_session(_,V):- sub_term(Sub,V),nonvar(Sub),is_stream(Sub),!.
  444save_in_session(N,V):- get_http_session(S), save_in_session(S, N,V),!.
  445
  446% save_in_session(S,N,V):- \+ param_default_value(N,_),!.

 save_in_session(?ARG1, ?ARG2, ?ARG3) is det

Save In Session.

  454save_in_session(S,N,V):- atom(N), NV=..[N,V],functor(NVR,N,1),
  455   retractall(http_session:session_data(S,NVR)),
  456   asserta(http_session:session_data(S,NV)),!.
  457save_in_session(S,N,V):- dmsg(not_save_in_session(S,N,V)),!.

 show_http_session is det

Show Http Session.

  467show_http_session:-must_run(get_http_session(S)),listing(http_session:session_data(S,_NV)).

 make_session(?ARG1) is det

Make Session.

  477make_session(S):- catch((is_cgi_stream->http_session:http_open_session(S,[renew(false)]);true),_,true).
  478
  479
  480
  481:- export(get_http_session/1).

 get_http_session(?ARG1) is det

Get Http Session.

  486get_http_session(S):- catch(get_http_session0(S),_,fail),nonvar(S),!, make_session(S).
  487get_http_session(main).
  488
  489% on_x_log_fail(G):- catch(G,E,(dmsg(E:G),fail)).
  490
  491
  492:- export(get_http_session0/1).

 get_http_session0(?ARG1) is det

Get Http Session Primary Helper.

  497get_http_session0(S):- on_x_log_fail((http_session:http_in_session(S))),!.
  498get_http_session0(S):- on_x_log_fail((get_http_current_request(R),member(session(S),R))),!.
  499get_http_session0(S):- on_x_log_fail((get_http_current_request(R),member(cookie([swipl_session=S]),R))),!.
  500get_http_session0(S):- is_cgi_stream,catch(((http_session:http_open_session(S,[renew(false)]))),_,true),!.

 is_cgi_stream is det

If Is A Cgi Stream.

  509is_cgi_stream:-current_output(X),http_stream:is_cgi_stream(X).

 reset_assertion_display is det

Reset Assertion Display.

  518reset_assertion_display:-
  519   flag(matched_assertions,_,0),
  520   flag(show_asserions_offered,_,0),
  521   retractall(shown_subtype(_)),
  522   retractall(xlw:shown_clause(_)).

 get_param_sess(?ARG1, ?ARG2) is det

Get Param Sess.

  531get_param_sess(N,V):- must_run(param_default_value(N,D);D=''),!,get_param_sess(N,V,D),!.
  532
  533:- dynamic(lmcache:last_http_request/1).  534:- volatile(lmcache:last_http_request/1).  535:- dynamic(lmcache:last_item_offered/1).  536:- volatile(lmcache:last_item_offered/1).

 lmcache:last_item_offered(?ARG1) is det

Last Item Offered.

  542:- asserta(lmcache:last_item_offered(unknown)).

 get_http_current_request(?ARG1) is det

Get Http Current Request.

  552get_http_current_request(B):- httpd_wrapper:http_current_request(B), !,ignore((retractall(lmcache:last_http_request(_)),asserta(lmcache:last_http_request(B)))).
  553get_http_current_request(B):- lmcache:last_http_request(B),!.
  554get_http_current_request([]).

 get_param_sess(?ARG1, ?ARG2, ?ARG3) is det

Get Param Sess.

  563get_param_sess(N,V,D):- nonvar(V),!,get_param_sess(N,VV,D),!,param_matches(V,VV).
  564get_param_sess(L,V,D):-get_nv_session(L,V,D).

 get_param_req(?ARG1, ?ARG2) is det

Get Param Req.

  573get_param_req(L,V):- (is_list(L)-> member(N,L) ; N=L),
  574     CALL2 =.. [N,V,[optional(true),default(Foo)]],
  575  get_http_current_request(B),
  576   http_parameters:http_parameters(B,[CALL2])->
  577       V \== Foo,!.
  578
  579% get_param_sess(L,V,V):- (is_list(L)-> member(N,L) ; N=L), save_in_session(N=V),!.

 get_nv_session(?ARG1, ?ARG2, ?ARG3) is det

Get Nv Session.

  588get_nv_session(L,V,_):- (is_list(L)-> member(N,L) ; N=L),
  589     CALL2 =.. [N,V], (get_http_session(F),http_session:session_data(F, CALL2)),!.
  590get_nv_session(_,V,V):-!.

 save_request_in_session(?ARG1) is det

Save Request In Session.

  600save_request_in_session(Request):- 
  601        (member(method(post), Request) -> (http_read_data(Request, Data, []),save_in_session(Data));true),
  602        save_in_session(Request).
  603        % http_session:http_session_id(F),forall(http_session:session_data(F,D),wdmsg(D)).
  604
  605
  606
  607:- dynamic(lmcache:current_ioet/4).  608:- volatile(lmcache:current_ioet/4).  609
  610:- create_prolog_flag(retry_undefined,default,[type(term),keep(true)]).

 handler_logicmoo_cyclone(+Request) is det

Handler Logicmoo Cyclone.

  616handler_logicmoo_cyclone(_):- quietly(is_goog_bot),!,
  617  quietly((format('Content-type: text/html~n~n',[]),
  618  bformat('<!DOCTYPE html><html><head></head><body><pre></pre></body></html>~n~n',[]),
  619  flush_output_safe)),!.
  620handler_logicmoo_cyclone(Request):- quietly(is_goog_bot),!,
  621  quietly((format('Content-type: text/html~n~n',[]),
  622  bformat('<!DOCTYPE html><html><head></head><body><pre>~q</pre></body></html>~n~n',[Request]),
  623  flush_output_safe)),!.
  624
  625handler_logicmoo_cyclone(Request):-
  626 wdmsg(handler_logicmoo_cyclone(Request)),
  627 ignore((
  628 %nodebugx
  629 ((
  630  ignore(get_http_session(_)), 
  631  locally(set_prolog_flag(retry_undefined, none),
  632    % with_no_x
  633    (( 
  634     must_run((
  635      current_input(In),current_output(Out),
  636       (stream_property(Err,file_no(2));current_error_stream(Err)),
  637   thread_self(ID),!,
  638   asserta(lmcache:current_ioet(In,Out,Err,ID)),
  639%    format('Content-type: text/html~n~n',[]),
  640   html_write:html_current_option(content_type(D)),
  641   format('Content-type: ~w~n~n', [D]),
  642   bformat('<!DOCTYPE html>',[]),flush_output_safe,
  643    must_run(save_request_in_session(Request)),
  644    % member(request_uri(URI),Request),
  645     member(path(PATH),Request),
  646    directory_file_path(_,FCALL,PATH),
  647   once(get_param_req(webproc,Call);(current_predicate(FCALL/0),Call=FCALL);get_param_sess(webproc,Call,edit1term)),
  648   must_run(Call)))))))))),!.
  649   
  650
  651
  652:- asserta(cp_menu:menu_item(500=places/handler_logicmoo_cyclone,	'LogicMOO')).  653:- asserta(cp_menu:menu_item(500=swish/handler_logicmoo_cyclone,	'LogicMOO')).

 write_begin_html(?ARG1, ?ARG2, ?ARG3) is det

Write Begin HTML.

  660write_begin_html(B,BASE,URI):-  
  661  must_run((
  662      % sformat(BASE,'~w~@',[B,get_request_vars('_n_~w_v0_~w_vZ')]),
  663      BASE = B,
  664      bformat('<html><head><style type="text/css">
  665   element.style {
  666    position: relative;
  667    min-height: 100%;
  668    top: 0px;
  669}
  670html, body {
  671    font-family: Verdana,sans-serif;
  672    font-size: 10px;
  673    line-height: 1.5;
  674}
  675body {
  676    margin: 1;
  677}
  678        input[type="checkbox"] {width:10px; height:10px; }</style>',
  679        []),            
  680      must_run((get_http_current_request(Request))),
  681      must_run(member(request_uri(URI),Request)->true;URI=''),
  682      % ((URI\==''->bformat('<meta http-equiv="refresh" content="300;~w">',[URI]);true)),
  683      % must_run((BASE\='' -> bformat('<base href="~w" target="_parent"/>',[BASE]);true)),
  684      ignore(URI=''),
  685      ignore(BASE=''),
  686     bformat('<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script>',[]),
  687     html_head:output_html(html_requires(plain)),     
  688     bformat('<title>~w for ~w</title>
  689      <meta http-equiv="X-Frame-Options" content="ALLOWAll">
  690      <link rel="stylesheet" type="text/css" href="/css/cliopatria.css">
  691      <link rel="stylesheet" type="text/css" href="/css/menu.css">
  692      <script type="text/javascript" src="/js/jquery-2.1.3.min.js"></script>
  693      <script type="text/javascript" src="/js/cliopatria.js"></script>
  694      <link rel="stylesheet" type="text/css" href="/www/yui/2.7.0/build/autocomplete/assets/skins/sam/autocomplete.css">
  695      <script type="text/javascript" src="/www/yui/2.7.0/build/utilities/utilities.js"></script>
  696      <script type="text/javascript" src="/www/yui/2.7.0/build/datasource/datasource.js"></script>
  697      <script type="text/javascript" src="/www/yui/2.7.0/build/autocomplete/autocomplete.js"></script></head>',
  698   [BASE,URI]),
  699     bformat('<body class="yui-skin-sam">',[]),flush_output_safe)),!,
  700  with_output_to(string(SMenu),output_html(cp_menu:cp_menu)),
  701  output_html(div([id('cp-menu'), class(menu)], SMenu)).     
  702
  703   
  704test_rok:- test_rok(test_rok).
  705
  706/*
  707dasm:print_clause_plain(Term) :-
  708        current_prolog_flag(color_term, Prolog_flag_Ret),
  709        make_pretty(Term, Make_pretty_Ret),
  710        setup_call_cleanup(set_prolog_flag(color_term, false),
  711                           ( nl,
  712                             lcolormsg1(Make_pretty_Ret)
  713                           ),
  714                           set_prolog_flag(color_term, Prolog_flag_Ret)).
  715*/
  716
  717test_rok(W) :- handler_logicmoo_cyclone([path_info(search4term), protocol(http), peer(ip(127, 0, 0, 1)), 
  718  In = user_input,
  719  Out = user_put,
  720  format(atom(S4T),'/logicmoo/search4term?find=~w',[W]),
  721  pool(client('httpd@3020', http_dispatch, In, Out)),
  722    input(In), method(get), request_uri(S4T),
  723     path('/logicmoo/search4term'), search([find=W]), 
  724     http_version(1-1), host('127.0.0.1'), port(3020), cache_control('max-age=0'), 
  725     upgrade_insecure_requests('1'), user_agent('Mozilla/5.0 (Windows NT 6.1; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3393.4 Safari/537.36'),
  726     accept([media(text/html, [], 1.0, []), media(application/'xhtml+xml', [], 1.0, []), 
  727     media(image/webp, [], 1.0, []), media(image/apng, [], 1.0, []), media(application/xml, [], 0.9, []), 
  728     media(_9672/_9674, [], 0.8, [])]), accept_encoding('gzip, deflate'), accept_language('en-US,en;q=0.9'), 
  729     cookie(['PHPSESSID'=u265i7e611jval7odhrs316n07, '_ga'='GA1.2.854971883.1519291037', 
  730     session='eyJjc3JmX3Rva2VuIjoiMGU3MzE1ZWUxMjVkZTNlZDNlZDg3ZDgyNWQ5ZmZiNjMxNjE4ODdjZiJ9.DYDY5A.so4fbyaXlbCXtzExefb_aYRjJ6g', 
  731     io='DjFUY0jh0SbK64uLAAAM', lo_session_in='1', '_jsuid'='984133034', 
  732     '__lotl'='http%3A%2F%2Flogicmoo.org%2Fdocs%2FA%2520Fuzzy%2520Belief-Desire-Intention%2520Model%2520for%2520Agent-Based%2520Image%2520Analysis%2520_%2520IntechOpen.html', 
  733     euCookie='1', swipl_session='cc4e-bdf6-b3ff-9ffc.gitlab']), x_forwarded_for('10.0.0.122'), x_forwarded_host('logicmoo.org'),
  734      x_forwarded_server('127.0.1.1'), connection('Keep-Alive')]),!.

 write_end_html is det

Write End HTML.

  741write_end_html:- flush_output_safe,bformat('</body></html>~n~n',[]),flush_output_safe,!.
  742
  743% logicmoo_html_needs_debug.

 add_form_script is det

Add Form Script.

  752add_form_script:-
  753format("<script type=\"text/javascript\">
  754$('form').submit(function() {
  755  $(this).find('input[type=checkbox]').each(function (i, el) {
  756    if(!el.checked) {
  757      var hidden_el = $(el).clone();
  758      hidden_el[0].checked = true;
  759      hidden_el[0].value = '0';
  760      hidden_el[0].type = 'hidden'
;
  761      hidden_el.insertAfter($(el));
  762    }    
  763  })
  764 // alert($(this));
  765});
  766
  767var handled = false;
  768
  769function callback(e) {
  770    var e = window.e || e;
  771
  772    var targ = e.target;
  773    if (targ.tagName !== 'A')
  774        return;
  775    if(!handled) {     
  776      handled = true;
  777     // alert('hi ' +  targ.target);
  778      if (targ.target !== '') {
  779       return;
  780      }
  781      e.preventDefault();
  782      e.stopPropagation();
  783      $('form').action = targ.href;
  784      document.getElementById('find').value = targ.innerText;
  785     // alert('hi ' +  targ.innerText);
  786      $('form').submit();
  787    } else {
  788      handled = false;           
  789    }
  790}
  791
  792if (document.addEventListener)
  793    document.addEventListener('click', callback, false);
  794else
  795    document.attachEvent('onclick', callback);
  796</script>"
  797).

 show_pcall_footer is det

Show Pcall Footer.

  807show_pcall_footer:- bformat('<hr><a href="http://prologmoo.com">LogicMOO/PrologMUD</a>',[]),!.

 sensical_nonvar(?ARG1) is det

Sensical Nonvar.

  816sensical_nonvar(O):-nonvar(O), O \= (_ - _).

 cvt_param_to_term(?ARG1, ?ARG2, ?ARG3) is det

Cvt Param Converted To Term.

  825cvt_param_to_term(In,Obj,Vs):-atom(In),on_x_fail(atom_to_term(In,Obj,Vs)),sensical_nonvar(Obj),!.
  826cvt_param_to_term(In,Obj,Vs):-string(In),on_x_fail(atom_to_term(In,Obj,Vs)),sensical_nonvar(Obj),!.

 cvt_param_to_term(?ARG1, ?ARG2) is det

Cvt Param Converted To Term.

  834cvt_param_to_term('~w',""):-!.
  835cvt_param_to_term(In,Obj):-cvt_param_to_term(In,Obj,_Vs),!.
  836cvt_param_to_term(Obj,Obj).
  837
  838
  839
  840% :- (thread_property(ID,status(running)),ID=reloader30) -> true; thread_create(((repeat,sleep(30),mmake,fail)),_,[alias(reloader30),detached(true)]).
  841% ===================================================
  842% Pretty Print Formula
  843% ===================================================

 write_atom_link(?ARG1) is det

Write Atom Link.

  850:- export(write_atom_link/1).  851write_atom_link(A):-must_run(write_atom_link(A,A)).

 write_atom_link(?ARG1, ?ARG2) is det

Write Atom Link.

  859:- export(write_atom_link/2).  860write_atom_link(L,N):-must_run((write_atom_link(atom(W),L,N),bformat('~w',[W]))),!.
  861
  862% pred_href(Name/Arity, Module, HREF) :-

 write_atom_link(?ARG1, ?ARG2, ?ARG3) is det

Write Atom Link.

  870:- export(write_atom_link/3).  871write_atom_link(W,A/_,N):-atom(A),!,write_atom_link(W,A,N).
  872write_atom_link(W,C,N):-compound(C),get_functor(C,F,A),!,write_atom_link(W,F/A,N).
  873%write_atom_link(W,_,N):- thread_self_main,!,write_term_to_atom_one(W,N),!.
  874write_atom_link(W,_,N):- must_run(nonvar(W)),\+ is_html_mode,write_term_to_atom_one(W,N),!.
  875write_atom_link(W,A,N):- sanity(nonvar(W)),
  876 catch((format(atom(AQ),'~q',[A]),url_encode(AQ,URL),
  877   format(W,'<a href="?find=~w">~w</a>',[URL,N])),_,write_term_to_atom_one(W,N)).

 write_term_to_atom_one(:TermARG1, ?ARG2) is det

Write Term Converted To Atom One.

  886write_term_to_atom_one(atom(A),Term):-format(atom(A),'~q',[Term]).
  887
  888/*
  889
  890
  891%   File   : WRITE.PL
  892%   Author : Richard A. O'Keefe.
  893%   Updated: 22 October 1984
  894%   Purpose: Portable definition of write/1 and friends.
  895
  896:- public
  897	portable_display/1,
  898	portable_listing/0,
  899	portable_listing/1,
  900	portable_print/1,
  901	portable_write/1,
  902	portable_writeq/1,
  903	rok_portray_clause/1.
  904
  905:- meta_predicate
  906	classify_name(+, -),
  907	classify_alpha_tail(+),
  908	classify_other_tail(+),
  909	'functor spec'(+, -, -, -),
  910	'list clauses'(+, +, +, +),
  911	'list magic'(+, +),
  912	'list magic'(+, +, +),
  913	'list magic'(+, +, +, +),
  914	maybe_paren(+, +, +, +, -),
  915	maybe_space(+, +),
  916	rok_portray_clause(+),
  917	put_string(+),
  918	put_string(+, +),
  919	write_args(+, +, +, +, +),
  920	write_atom(+, +, +, -),
  921	write_oper(+, +, +, +, -),
  922	write_out(+, +, +, +, -),
  923	write_out(+, +, +, +, +, +, -),
  924	write_tail(+, +),
  925	write_VAR(+, +, +, -),
  926	write_variable(?).
  927*/
  928     
  929
  930/*  WARNING!
  931    This file was written to assist portability and to help people
  932    get a decent set of output routines off the ground fast.  It is
  933    not particularly efficient.  Information about atom names and
  934    properties should be precomputed and fetched as directly as
  935    possible, and strings should not be created as lists!
  936
  937    The four output routines differ in the following respects:
  938    [a] display doesn't use operator information or handle {X} or
  939	[H|T] specially.  The others do.
  940    [b] print calls portray/1 to give the user a chance to do
  941	something different.  The others don't.
  942    [c] writeq puts quotes around atoms that can't be read back.
  943	The others don't.
  944    Since they have such a lot in common, we just pass around a
  945    single Style argument to say what to do.
  946
  947    In a Prolog which supports strings;
  948	write(<string>) should just write the text of the string, this so
  949	that write("Beware bandersnatch") can be used.  The other output
  950	commands should quote the string.
  951
  952    listing(Preds) is supposed to write the predicates out so that they
  953    can be read back in exactly as they are now, provided the operator
  954    declarations haven't changed.  So it has to use writeq.  $VAR(X)
  955    will write the atom X without quotes, this so that you can write
  956    out a clause in a readable way by binding each input variable to
  957    its name.
  958*/

 portable_display(?ARG1) is det

Portable Display.

  968portable_display(Term) :-
  969	write_out(Term, display, 1200, punct, _).

 portable_print(?ARG1) is det

Portable Print.

  979portable_print(Term) :-
  980	write_out(Term, print, 1200, punct, _).

 portable_write(?ARG1) is det

Portable Write.

  990portable_write(Term) :-
  991	write_out(Term, write, 1200, punct, _).

 portable_writeq(?ARG1) is det

Portable Writeq.

 1001portable_writeq(Term) :-
 1002       write_out(Term, writeq, 1200, punct, _).
 1003
 1004
 1005
 1006%   maybe_paren(P, Prio, Char, Ci, Co)
 1007%   writes a parenthesis if the context demands it.

 maybe_paren(?ARG1, ?ARG2, ?ARG3, ?ARG4, ?ARG5) is det

Maybe Paren.

 1016maybe_paren(P, Prio, Char, _, punct) :-
 1017	P > Prio,
 1018	!,
 1019	put(Char).
 1020maybe_paren(_, _, _, C, C).
 1021
 1022
 1023
 1024%   maybe_space(LeftContext, TypeOfToken)
 1025%   generates spaces as needed to ensure that two successive
 1026%   tokens won't run into each other.

 maybe_space(?ARG1, ?ARG2) is det

Maybe Space.

 1035maybe_space(punct, _) :- !.
 1036maybe_space(X, X) :- !,
 1037	put(32).
 1038maybe_space(quote, alpha) :- !,
 1039	put(32).
 1040maybe_space(_, _).
 1041
 1042
 1043
 1044
 1045%   write_variable(V)
 1046%   is system dependent.  This just uses whatever Prolog supplies.

 write_variable(?ARG1) is det

Write Variable.

 1055write_variable(V) :-
 1056	write(V).
 1057
 1058
 1059
 1060
 1061portray_or_print(Term):- catch(user:portray(Term),_,fail),!.
 1062portray_or_print(Term):- catch(print(Term),_,fail),!.

 write_out(Term, Style, Priority, Ci, Co)

writes out a Term in a given Style (display,write,writeq,print) in a context of priority Priority (that is, operators with greater priority have to be quoted), where the last token to be written was of type Ci, and reports that the last token it wrote was of type Co.

 1072write_out(Term, Style, Prio, Ci, Co):-
 1073 write_oout(Term, Style, Prio, Ci, Co).

 write_oout(Term, Style, Prio, Ci, Co) is det

Write Out.

 1079write_oout(Term, _, _, Ci, alpha) :-
 1080	var(Term),
 1081	!,
 1082	maybe_space(Ci, alpha),
 1083	write_variable(Term).
 1084write_oout('$VAR'(N), Style, _, Ci, Co) :- !,
 1085	write_VAR(N, Style, Ci, Co).
 1086write_oout(N, _, _, Ci, alpha) :-
 1087	integer(N),
 1088	(   N < 0, maybe_space(Ci, other)
 1089	;   maybe_space(Ci, alpha)
 1090	),  !,
 1091	name(N, String),
 1092	put_string(String).
 1093write_oout(TermS, Style, Prio, Ci, Co) :- string(TermS),
 1094        term_to_atom(TermS,Term),!,write_oout(Term, Style, Prio, Ci, Co).
 1095write_oout(Term, print, _,  _, alpha) :-
 1096	% DMILES HSOULD BE portray/1
 1097        loop_check(portray_or_print(Term),writeq(Term)),
 1098        % print(Term),
 1099	!.
 1100write_oout(Atom, Style, Prio, _, punct) :-
 1101	atom(Atom),
 1102	current_op(P, _, Atom),
 1103	P > Prio,
 1104	!,
 1105	put(40),
 1106	(   Style = writeq, write_atom(Atom, Style, punct, _)
 1107	;   (name(Atom, String), put_string(String))
 1108	),  !,
 1109	put(41).
 1110write_oout(Atom, Style, _, Ci, Co) :-
 1111	atom(Atom),
 1112	!,
 1113	write_atom(Atom, Style, Ci, Co).
 1114write_oout(Term, display, _, Ci, punct) :- !,
 1115	functor(Term, Fsymbol, Arity),
 1116	write_atom(Fsymbol, display, Ci, _),
 1117	write_args(0, Arity, Term, 40, display).
 1118write_oout({Term}, Style, _, _, punct) :- !,
 1119	put(123),
 1120	write_oout(Term, Style, 1200, punct, _),
 1121	put(125).
 1122write_oout([Head|Tail], Style, _, _, punct) :- !,
 1123	put(91),
 1124	write_oout(Head, Style, 999, punct, _),
 1125	write_tail(Tail, Style).
 1126write_oout((A,B), Style, Prio, Ci, Co) :- !,
 1127	%  This clause stops writeq quoting commas.
 1128	maybe_paren(1000, Prio, 40, Ci, C1),
 1129	write_oout(A, Style, 999, C1, _),
 1130	put(44),
 1131	write_oout(B, Style, 1000, punct, C2),
 1132	maybe_paren(1000, Prio, 41, C2, Co).
 1133write_oout(Term, Style, Prio, Ci, Co) :-
 1134	functor(Term, F, N),
 1135	write_oout(N, F, Term, Style, Prio, Ci, Co).

 write_oout(?ARG1, ?ARG2, ?ARG3, ?ARG4, ?ARG5, ?ARG6, ?ARG7) is det

Write Out.

 1143write_oout(1, F, Term, Style, Prio, Ci, Co) :-
 1144	(   current_op(O, fx, F), P is O-1
 1145	;   current_op(O, fy, F), P = O
 1146	),  !,
 1147	maybe_paren(O, Prio, 40, Ci, C1),
 1148	write_atom(F, Style, C1, C2),
 1149	arg(1, Term, A),
 1150	write_oout(A, Style, P, C2, C3),
 1151	maybe_paren(O, Prio, 41, C3, Co).
 1152write_oout(1, F, Term, Style, Prio, Ci, Co) :-
 1153	(   current_op(O, xf, F), P is O-1
 1154	;   current_op(O, yf, F), P = O
 1155	),  !,
 1156	maybe_paren(O, Prio, 40, Ci, C1),
 1157	arg(1, Term, A),
 1158	write_oout(A, Style, P, C1, C2),
 1159	write_atom(F, Style, C2, C3),
 1160	maybe_paren(O, Prio, 41, C3, Co).
 1161write_oout(2, F, Term, Style, Prio, Ci, Co) :-
 1162	(   current_op(O, xfy, F), P is O-1, Q = O
 1163	;   current_op(O, xfx, F), P is O-1, Q = P
 1164	;   current_op(O, yfx, F), Q is O-1, P = O
 1165	),  !,
 1166	maybe_paren(O, Prio, 40, Ci, C1),
 1167	arg(1, Term, A),
 1168	write_oout(A, Style, P, C1, C2),
 1169	write_oper(F, O, Style, C2, C3),
 1170	arg(2, Term, B),
 1171	write_oout(B, Style, Q, C3, C4),
 1172	maybe_paren(O, Prio, 41, C4, Co).
 1173write_oout(N, F, Term, Style, _Prio, Ci, punct) :-
 1174	write_atom(F, Style, Ci, _),
 1175	write_args(0, N, Term, 40, Style).

 write_oper(?ARG1, ?ARG2, ?ARG3, ?ARG4, ?ARG5) is det

Write Oper.

 1185write_oper(Op, Prio, Style, Ci, Co) :-
 1186	Prio < 700, !,
 1187	write_atom(Op, Style, Ci, Co).
 1188write_oper(Op, _, Style, _Ci, punct) :-
 1189	put(32),
 1190	write_atom(Op, Style, punct, _),
 1191	put(32).

 write_VAR(?ARG1, ?ARG2, ?ARG3, ?ARG4) is det

Write Var.

 1200write_VAR(A, _Style, _Ci, _Co) :- atom(A), !,write(A).
 1201write_VAR(N, writeq, _Ci, alpha):- writeq('$VAR'(N)),!.
 1202write_VAR(X, Style, Ci, punct) :-
 1203	write_atom('$VAR', Style, Ci, _),
 1204	write_args(0, 1, '$VAR'(X), 40, Style).

 write_atom(?ARG1, ?ARG2, ?ARG3, ?ARG4) is det

Write Atom.

 1214write_atom(('!'), _, _, punct) :- !,
 1215	put(33).
 1216write_atom((';'), _, _, punct) :- !,
 1217	put(59).
 1218write_atom([], _, _, punct) :- !,
 1219	put(91), put(93).
 1220write_atom({}, _, _, punct) :- !,
 1221	put(123), put(125).
 1222write_atom(A, write, _Ci, _Co):- !,write(A),!.
 1223write_atom(A, _Style, _Ci, _Co):- write_atom_link(A,A),!.
 1224write_atom(Atom, Style, Ci, Co) :-
 1225	name(Atom, String),
 1226	(   classify_name(String, Co),
 1227	    maybe_space(Ci, Co),
 1228	    put_string(String)
 1229	;   Style = writeq, Co = quote,
 1230	    maybe_space(Ci, Co),
 1231	    (put(39), put_string(String, 39),put(39))
 1232	;   Co = alpha,
 1233	    put_string(String)
 1234	),  !.
 1235
 1236
 1237
 1238%txt_to_codes(Text,Codes):- text_to_string(Text,Str),name(Str,Codes).

 put_string(?ARG1) is det

writes a list of character codes.

 1244put_string(B):- txt_to_codes(B,C),put_string0(C).

 put_string0(:TermARG1) is det

Put String Primary Helper.

 1252put_string0([]).
 1253put_string0([H|T]) :-
 1254	put(H),
 1255	put_string0(T).

 put_string(S, Q)

writes a quoted list of character codes, where the first quote has already been written. Instances of Q in S are doubled.

 1261put_string(A,B):- is_html_mode,!,
 1262  with_output_to(atom(S),put_string2(A,B)),
 1263  url_iri(URL,S),bformat('<a href="?find=~w">~w</a>',[URL,S]).
 1264put_string(A,B):- put_string2(A,B).
 1265
 1266
 1267put_string2(A,B):- txt_to_codes(A,C),to_ascii_code(B,BC),put_string0(C,BC).
 1268to_ascii_code(B,BC):- (number(B)->BC=B;name(B,[BC|_])).
 1269
 1270% :-rtrace.

 put_string0(:TermARG1, ?ARG2) is det

Put String Primary Helper.

 1278put_string0([], _) :- !. % put(Q).
 1279put_string0([Q|T], Q) :- !,
 1280	put(Q), put(Q),
 1281	put_string0(T, Q).
 1282put_string0([H|T], Q) :-
 1283	put(H),
 1284	put_string0(T, Q).

 classify_name(String, Co)

says whether a String is an alphabetic identifier starting with a lower case letter (Co=alpha) or a string of symbol characters like ++/=? (Co=other). If it is neither of these, it fails. That means that the name needs quoting. The special atoms ! ; [] {} are handled directly in write_atom. In a basic Prolog system with no way of changing the character classes this information can be calculated when an atom is created, andf just looked up. This has to be as fast as you can make it.

 1296classify_name([H|T], alpha) :-
 1297	H >= 97, H =< 122,
 1298	!,
 1299	classify_alpha_tail(T).
 1300classify_name([H|T], other) :-
 1301	memberchk(H, "#$&=-~^\`@+*:<>./?"),
 1302	classify_other_tail(T).

 classify_alpha_tail(:TermARG1) is det

Classify Alpha Tail.

 1311classify_alpha_tail([]).
 1312classify_alpha_tail([H|T]) :-
 1313	(  H >= 97, H =< 122
 1314	;  H >= 65, H =< 90
 1315	;  H >= 48, H =< 57
 1316	;  H =:= 95
 1317	), !,
 1318	classify_alpha_tail(T).

 classify_other_tail(:TermARG1) is det

Classify Other Tail.

 1327classify_other_tail([]).
 1328classify_other_tail([H|T]) :-
 1329	memberchk(H, "#$&=-~^\`@+*:<>./?"),
 1330	classify_other_tail(T).
 1331
 1332
 1333
 1334%   write_args(DoneSoFar, Arity, Term, Separator, Style)
 1335%   writes the remaining arguments of a Term with Arity arguments
 1336%   all told in Style, given that DoneSoFar have already been written.
 1337%   Separator is 0'( initially and later 0', .

 write_args(?ARG1, ?ARG2, ?ARG3, ?ARG4, ?ARG5) is det

Write Arguments.

 1346write_args(N, N, _, _, _) :- !,
 1347	put(41).
 1348write_args(I, N, Term, C, Style) :-
 1349	put(C),
 1350	J is I+1,
 1351	arg(J, Term, A),
 1352	write_oout(A, Style, 999, punct, _),
 1353	write_args(J, N, Term, 44, Style).
 1354
 1355
 1356
 1357%   write_tail(Tail, Style)
 1358%   writes the tail of a list of a given style.

 write_tail(:TermARG1, ?ARG2) is det

Write Tail.

 1367write_tail(Var, _) :-			%  |var]
 1368	var(Var),
 1369	!,
 1370	put(124),
 1371	write_variable(Var),
 1372	put(93).
 1373write_tail([], _) :- !,			%  ]
 1374	put(93).
 1375write_tail([Head|Tail], Style) :- !,	%  ,Head tail
 1376	put(44),
 1377	write_oout(Head, Style, 999, punct, _),
 1378        
 1379	write_tail(Tail, Style).
 1380write_tail(Other, Style) :-		%  |junk]
 1381	put(124),
 1382	write_oout(Other, Style, 999, punct, _),
 1383	put(93).
 1384
 1385
 1386/*  The listing/0 and listing/1 commands are based on the Dec-10
 1387    commands, but the bformat they generate is based on the "pp" command.
 1388    The idea of rok_portray_clause/1 came from PDP-11 Prolog.
 1389
 1390    BUG: the arguments of goals are not separated by comma-space but by
 1391    just comma.  This should be fixed, but I haven't the time right not.
 1392    Run the output through COMMA.EM if you really care.
 1393
 1394    An irritating fact is that we can't guess reliably which clauses
 1395    were grammar rules, so we can't print them out in grammar rule form.
 1396
 1397    We need a proper pretty-printer that takes the line width into
 1398    acount, but it really isn't all that feasible in Dec-10 Prolog.
 1399    Perhaps we could use some ideas from NIL?
 1400*/

 portable_listing is det

Portable Listing.

 1409portable_listing :-
 1410	current_predicate(_, M:Pred),
 1411        \+ predicate_property(M:Pred,imported_from(_)),
 1412        predicate_property(M:Pred,number_of_clauses(_)),        
 1413	nl,
 1414	forall(clause(M:Pred, Body),rok_portray_clause((M:Pred:-Body))),
 1415        fail.
 1416portable_listing.
 1417
 1418
 1419%   listing(PredSpecs)
 1420
 1421%   Takes a predicate specifier F/N, a partial specifier F, or a
 1422%   list of such things, and lists each current_predicate Pred
 1423%   matching one of these specifications.

 portable_listing(:TermARG1) is det

Portable Listing.

 1432portable_listing(V) :-
 1433	var(V), !.       % ignore variables
 1434portable_listing([]) :- !.
 1435portable_listing([X|Rest]) :- !,
 1436	portable_listing(X),
 1437	portable_listing(Rest).
 1438portable_listing(X) :-
 1439	'functor spec'(X, Name, Low, High),
 1440	current_predicate(Name, Pred),
 1441	functor(Pred, _, N),
 1442	N >= Low, N =< High,
 1443	nl, 
 1444	clause(Pred, Body),
 1445	rok_portray_clause((Pred:-Body)),
 1446	fail.
 1447portable_listing(_).

Functor Spec.

 1456'functor spec'(Name/Low-High, Name, Low, High) :- !.
 1457'functor spec'(Name/Arity, Name, Arity, Arity) :- !.
 1458'functor spec'(Name, Name, 0, 255).

 rok_portray_clause(:TermARG1) is det

Rok Portray Clause.

 1468rok_portray_clause(Var):- var(Var),writeq(Var).
 1469
 1470rok_portray_clause(I):- catch(make_pretty(I,O),_,I=O),block_format(rok_portray_clause1(O)).
 1471
 1472rok_portray_clause1( :-(Command)) :- 
 1473	(   Command = public(Body), Key = (public)
 1474	;   Command = mode(Body),   Key = (mode)
 1475	;   Command = type(Body),   Key = (type)
 1476	;   Command = pred(Body),   Key = (pred)
 1477	;   Command = Body,	    Key = ''
 1478	),  !,
 1479	nl,
 1480	% nu mbervars(Body, 0, _),
 1481	\+ \+ 'list clauses'(Body, Key, 2, 8),!.
 1482rok_portray_clause1(M:(Pred:-Body)) :- !,
 1483     must_run((
 1484	% nu mbervars(Pred+Body, 0, _),
 1485	\+ \+ portable_writeq(M:Pred),
 1486	\+ \+ 'list clauses'(Body, 0, 2, 8))), !.
 1487rok_portray_clause1((Pred:-Body)) :- !,
 1488     must_run((
 1489	% nu mbervars(Pred+Body, 0, _),
 1490	\+ \+ portable_writeq(Pred),
 1491	\+ \+ 'list clauses'(Body, 0, 2, 8))), !.
 1492rok_portray_clause1(M:(Pred)) :- 
 1493	call(call,rok_portray_clause1((M:Pred:-true))).
 1494rok_portray_clause1((Pred)) :- !,
 1495	call(call,rok_portray_clause1((Pred:-true))).

List Clauses.

 1502'list clauses'((A,B), L, R, D) :- !,
 1503	'list clauses'(A, L, 1, D), !,
 1504	'list clauses'(B, 1, R, D).
 1505'list clauses'(true, _L, 2, _D) :- !,
 1506	put(0'.
 1507        ), nl.
 1508        
 1509'list clauses'((A;B), L, R, D) :- !,
 1510	'list magic'(fail, L, D),
 1511	'list magic'((A;B), 0, 2, D),
 1512	'list magic'(R, '.
 1513'
 1514).
 1515
 1516'list clauses'((A->B), L, R, D) :- !,
 1517	'list clauses'(A, L, 5, D), !,
 1518	'list clauses'(B, 5, R, D).
 1519'list clauses'(Goal, L, R, D) :-
 1520	'list magic'(Goal, L, D),
 1521	portable_writeq(Goal),
 1522	'list magic'(R, '.
 1523'
 1524).

List Magic.

 1533'list magic'(!,    0, _D) :- !,
 1534	write(' :- ').
 1535'list magic'(!,    1, _D) :- !,
 1536	write(',  ').
 1537'list magic'(_Goal, 0, D) :- !,
 1538	write(' :- '),
 1539	nl, tab(D).
 1540'list magic'(_Goal, 1, D) :- !,
 1541	put(0',
 1542        ),
 1543	nl, tab(D).
 1544'list magic'(_Goal, 3, _D) :- !,
 1545	write('(   ').
 1546'list magic'(_Goal, 4, _D) :- !,
 1547	write(';   ').
 1548'list magic'(_Goal, 5, D) :- !,
 1549	write(' ->'),
 1550	nl, tab(D).
 1551'list magic'(_Goal, Key, D) :-
 1552	atom(Key),
 1553	write(':- '), write(Key),
 1554	nl, tab(D).

List Magic.

 1564'list magic'(2, C) :- !, write(C).
 1565'list magic'(_, _).

List Magic.

 1575'list magic'((A;B), L, R, D) :- !,
 1576	'list magic'(A, L, 1, D), !,
 1577	'list magic'(B, 1, R, D).
 1578'list magic'(Conj,  L, R, D) :-
 1579	E is D+8,
 1580	M is L+3,
 1581	'list clauses'(Conj, M, 1, E),
 1582	nl, tab(D),
 1583	'list magic'(R, ')').
 1584
 1585
 1586/*	Test code for rok_portray_clause.
 1587	If it works, test_portray_clause(File) should write out the
 1588	contents of File in a more or less readable fashion.
 1589
 1590test_portray_clause(File) :-
 1591	see(File),
 1592	repeat,
 1593	    read(Clause, Vars),
 1594	    (   Clause = end_of_file
 1595	    ;   test_bind(Vars), rok_portray_clause(Clause), fail
 1596	    ),
 1597	!,
 1598	seen.
 1599
 1600test_bind([]) :- !.
 1601test_bind([X='$VAR'(X)|L]) :-
 1602	test_bind(L).
 1603:- public test_portray_clause/1.
 1604*/
 1605
 1606
 1607
 1608
 1609
 1610
 1611
 1612
 1613
 1614% '$messages':baseKB:my_portray(X):-fail,loop_check(baseKB:my_portray(X)).
 1615% user:portray(X):-loop_check(baseKB:my_portray(X)).
 1616/*
 1617:- dynamic user:portray/1.
 1618:- multifile user:portray/1.
 1619:- discontiguous my_portray/1. 
 1620:- export(baseKB:my_portray/1).
 1621baseKB:my_portray(A) :- var(A),!,fail,writeq(A).
 1622baseKB:my_portray(A) :-
 1623        atom(A),
 1624        sub_atom(A, 0, _, _, 'http://'), !,
 1625        (   style(B)
 1626        ->  true
 1627        ;   B=prefix:id
 1628        ),
 1629        portray_url(B, A).
 1630baseKB:my_portray(A) :-
 1631        atom(A),
 1632        atom_concat('__file://', B, A),
 1633        sub_atom(B, D, _, C, #),
 1634        sub_atom(B, _, C, 0, G),
 1635        sub_atom(B, 0, D, _, E),
 1636        file_base_name(E, F),
 1637        bformat('__~w#~w', [F, G]).
 1638baseKB:my_portray(A) :- atom(A),!,baseKB:write_atom_link(A,A).
 1639baseKB:my_portray(A) :- \+compound(A),fail.
 1640%baseKB:my_portray(P):- must_run((return_to_pos(rok_portray_clause(P)),!)).
 1641*/
 1642
 1643
 1644
 1645
 1646is_html_mode:- \+ get_print_mode(text).

 sanity_test_000 is det

Optional Sanity Checking test Primary Helper Primary Helper Primary Helper.

 1653sanity_test_000:- find_and_call((rok_portray_clause((
 1654pkif :-
 1655
 1656        [ implies,
 1657
 1658          [ isa(F, tPred),
 1659            isa(A, ftInt),
 1660            poss(KB, pos([arity(F, A)])),
 1661            poss(KB, arity(F, A))
 1662          ],
 1663          =>,
 1664
 1665          [ all([F]),
 1666
 1667            [ implies,
 1668              [isa(F, tPred), ex([A]), isa(A, ftInt), poss(KB, arity(F, A))],
 1669              =>,
 1670              [ex([A]), [isa(A, ftInt), arity(F, A)]]
 1671            ]
 1672          ]
 1673        ])))),nl,nl,nl.
 1674
 1675
 1676
 1677x123:- locally_tl(print_mode(html),xlisting_inner(i2tml_hbr,end_of_file,[])).

 param_matches(?ARG1, ?ARG2) is det

Param Matches.

 1684param_matches(A,B):-A=B,!.
 1685param_matches(VV,V):-atomic(VV),atomic(V),string_to_atom(VV,VVA),string_to_atom(V,VA),downcase_atom(VVA,VD),downcase_atom(VA,VD).
 1686param_matches(A,B):-A=B,!.

 show_select2(?ARG1, ?ARG2, ?ARG3) is det

Show Select Extended Helper.

 1695show_select2(Name,Pred,Options):- block_format(show_select22(Name,Pred,Options)).
 1696show_select22(Name,Pred,Options):-  
 1697    Call=..[Pred,ID,Value],
 1698    must_run(param_default_value(Name,D); param_default_value(Pred,D)),!,
 1699    get_param_sess(Name,UValue,D),
 1700    format('<select name="~w">',[Name]),
 1701    forall(no_repeats(Call),
 1702       (((member(atom_subst(Item,ItemName),Options) -> (any_to_string(Value,ValueS),atom_subst(ValueS,Item,ItemName,NValue)); NValue=Value),
 1703        (((param_matches(UValue,ID);param_matches(UValue,NValue)) -> format('<option value="~w" selected="yes">~w</option>',[ID,NValue]);
 1704                   format('<option value="~w">~w</option>',[ID,Value])))))),
 1705    format('</select>',[]),!.

 show_select1(?ARG1, ?ARG2) is det

Show Select Secondary Helper.

 1713show_select1(Name,Pred):- block_format(show_select11(Name,Pred)).
 1714show_select11(Name,Pred):-
 1715 Call=..[Pred,Value],
 1716 ( param_default_value(Name,D); param_default_value(Pred,D)),!,
 1717 format('<select name="~w">',[Name]),
 1718 forall(Call,
 1719    (get_param_sess(Name,Value,D)->format('<option value="~w" selected="yes">~w</option>',[Value,Value]);
 1720                format('<option value="~w">~w</option>',[Value,Value]))),
 1721 format('</select>',[]),!.

 as_ftVars(:TermARG1) is det

Converted To Format Type Variables.

 1731as_ftVars(N='$VAR'(N)):-atomic(N),!.
 1732as_ftVars(_N=_V).
 1733as_ftVars(_).
 1734
 1735% :- ensure_loaded(library(logicmoo/util/logicmoo_util_varnames)).
 1736
 1737% :- use_listing_vars.