,


?- run_pipeline('Every man likes at least 3 things.'). ?- ls. ?- xlisting_html(ls). ?- embed_test(/,'100%','50%'). ?- test_rok. ?- test_pp. ?- xlisting_web_file. ?- indent_nl. ?- test_url_encode. ?- cccc. ?- test_tmw2. ?- test_tmw. ?- nl_same_pos. ?- fast_and_mean. ?- pp_now. ?- is_goog_bot. ?- edit1term. ?- do_guitracer. ?- ensure_guitracer_x. ?- do_search. ?- show_search4term. ?- search4term. ?- x129. ?- x127. ?- x126. ?- x125. ?- x124. ?- x123. ?- make_here0. ?- make_here. ?- is_html_mode. ?- portable_listing. ?- show_pcall_footer. ?- add_form_script. ?- show_map_legend. ?- world_snap. ?- show_menu_types. ?- ensure_colapsable_script. ?- ensure_colapsable_styles. ?- one_2_three_blur. ?- add_blur_menu. ?- ensure_swish_app_html. ?- add_context_menu. ?- test_rok. ?- write_end_html. ?- offer_testcases. ?- clear_http_session. ?- clear_search_filter_in_session. ?- resave_edit_filters. ?- reset_assertion_display. ?- is_cgi_stream. ?- show_http_session. ?- suppliment_cp_menu. ?- hide_xpce_library_directory. :- dynamic session_data/2. :- volatile session_data/2. :- multifile session_data/2. session_data(main, connection('Keep-Alive')). session_data(main, x_forwarded_server('logicmoo.org')). session_data(main, x_forwarded_host('logicmoo.org')). session_data(main, x_forwarded_for('54.158.251.104')). session_data(main, via('1.1 logicmoo.org')). session_data(main, accept_encoding('br,gzip')). session_data(main, accept_language('en-US,en;q=0.5')). session_data(main, accept([media(text/html, [], 1.0, []), media(application/'xhtml+xml', [], 1.0, []), media(application/xml, [], 0.9, []), media(_/_, [], 0.8, [])])). session_data(main, user_agent('CCBot/2.0 (https://commoncrawl.org/faq/)')). session_data(main, host('logicmoo.org')). session_data(main, http_version(1-1)). session_data(main, method(get)). session_data(main, peer(ip(172, 17, 0, 1))). session_data(main, protocol(http)). session_data(main, path_info(/)).
  Prover: 
Fml:
Microthory


Input Language
 
Home | Grap2h]

Response Language 


Debugging S-Exprs 

 
Find:  Apply:   Hide Meta/BookKeeping  Skip System  Hide Triggers  No Large  Hyperlink  Filenames  showHUGE  Whole Preds  Skip Varnames  Skip ClauseInfo  Skip XREF  Show All  
no_search