logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.EXACTLY_01P JUnit
trafficstars
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['exactly_01p.pfc.clif']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/EXACTLY_01P/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AEXACTLY_01P % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/453
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif:0
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif(:-))))
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/clone.xg: -110 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: 120 words .. **
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% :- share_mfa_pt2(parser_chat80,test_chat80,1).
% :- share_mfa_pt2(parser_chat80,hi80,0).
% :- share_mfa_pt2(parser_chat80,hi80,1).
% :- share_mfa_pt2(parser_chat80,control80,1).
% :- share_mfa_pt2(parser_chat80,trace_chat80,1).
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/load compiled into parser_chat80 2.74 sec, 1 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.13 sec, -16 clauses
=======================================================
:-
============================================
?- kif_to_boxlog( :- ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ :-
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(:-)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(<gt;-).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that <gt;-
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(<gt;-).
============================================
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif:86
%~ comment("/usr/bin/env lmoo-junit")
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif(include))))
=======================================================
include
============================================
?- kif_to_boxlog( include ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ include
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(include)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(include).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that include
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(include).
============================================
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif(test_header))))
=======================================================
test_header
============================================
?- kif_to_boxlog( test_header ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ test_header
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(test_header)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(test_header).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that test_header
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(test_header).
============================================
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif('.'))))
=======================================================
'.'
============================================
?- kif_to_boxlog( '.' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '.'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('.')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('.').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '.'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('.').
============================================
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif('Alternatively..'))))
=======================================================
'Alternatively..'
============================================
?- kif_to_boxlog( 'Alternatively..' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'Alternatively..'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('Alternatively..')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('Alternatively..').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that 'Alternatively..'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('Alternatively..').
============================================
%~ debugm(common_logic_loader,show_success(common_logic_loader,common_logic_loader:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ error( missing_kif_process(call,user:(prolog_load_context(stream,Stream),load_clif(Stream))))
%~ error( missing_kif_process(call,user:kif_io))
%~ comment("; Module - Test Puzzle in CLIF for SWI-Prolog")
%~ comment("; Maintainer: Douglas Miles")
%~ comment("; Load with ?- load_clif(pack(logicmoo_base/t/examples/fol/'exactly_01.clif'))")
%~ comment("; causes deduction of argument types")
%~ comment("; (:- (ensure_loaded (library logicmoo_clif)))")
%~ 'set-kif-option'('assume-wff')
t_l:kif_action_mode(tell)
%~ debugm(user,show_success(user,user:ain(clif('call-prolog'('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))))))
=======================================================
'call-prolog'('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))
============================================
?- kif_to_boxlog( 'call-prolog'('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n")) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ "\n\n:- dbreq(retractall(clif(_))).\n\n" isa '$STRING' isa 'call-prolog'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ azzert_rename('call-prolog',callProlog)
%~ kif_to_boxlog_attvars2 = necessary(callProlog('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n")))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(callProlog('$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that "\n\n:- dbreq(retractall(clif(_))).\n\n" isa '$STRING' isa callProlog
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( callProlog( '$STRING'("\n\n:- dbreq(retractall(clif(_))).\n\n"))).
============================================
%~ debugm(user,show_success(user,user:ain(clif(domain(hasName,1,tAgent)))))
=======================================================
domain(hasName,1,tAgent)
============================================
?- kif_to_boxlog( domain(hasName,1,tAgent) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ domain(hasName,1,tAgent)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(hasName,1,tAgent))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(argIsa(hasName,1,tAgent)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that argIsa(hasName,1,tAgent)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( argIsa(hasName,1,tAgent)).
============================================
%~ debugm(user,show_success(user,user:ain(clif(domain(hasName,2,tName)))))
=======================================================
domain(hasName,2,tName)
============================================
?- kif_to_boxlog( domain(hasName,2,tName) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ domain(hasName,2,tName)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(hasName,2,tName))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(argIsa(hasName,2,tName)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that argIsa(hasName,2,tName)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( argIsa(hasName,2,tName)).
============================================
%~ debugm(user,show_success(user,user:ain(clif(argQuotedIsa(hasName,2,ftString)))))
=======================================================
argQuotedIsa(hasName,2,ftString)
============================================
?- kif_to_boxlog( argQuotedIsa(hasName,2,ftString) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ argQuotedIsa(hasName,2,ftString)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argQuotedIsa(hasName,2,ftString))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(argQuotedIsa(hasName,2,ftString)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that argQuotedIsa(hasName,2,ftString)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( argQuotedIsa(hasName,2,ftString)).
============================================
%~ debugm(user,show_success(user,user:ain(clif(domain(address,1,tHouse)))))
=======================================================
domain(address,1,tHouse)
============================================
?- kif_to_boxlog( domain(address,1,tHouse) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ domain(address,1,tHouse)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(address,1,tHouse))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(argIsa(address,1,tHouse)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that argIsa(address,1,tHouse)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( argIsa(address,1,tHouse)).
============================================
%~ debugm(user,show_success(user,user:ain(clif(domain(address,2,tAddress)))))
=======================================================
domain(address,2,tAddress)
============================================
?- kif_to_boxlog( domain(address,2,tAddress) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ domain(address,2,tAddress)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(argIsa(address,2,tAddress))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(argIsa(address,2,tAddress)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that argIsa(address,2,tAddress)
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( argIsa(address,2,tAddress)).
============================================
%~ comment("; Special Logicmoo operator specific to forward chaining")
%~ comment("; (==> (and (domain ?P ?n ?c) (admittedArgument ?p ?n ?i)) (instance ?i ?c))")
%~ comment(" ============================================================")
%~ comment(" Devil has exactly one name")
%~ comment(" ============================================================")
%~ debugm( user,
%~ show_success( user,
%~ user : ain( clif( exactly(1,[[Name,tName]],hasName('Devil',Name))))))
=======================================================
exactly(1,'[|]'('[|]'('$VAR'('Name'),'[|]'(tName,[])),[]),hasName('Devil','$VAR'('Name')))
============================================
?- kif_to_boxlog( exactly(1,[[Name,tName]],hasName('Devil',Name)) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ exactly(1,[[Name,tName]],hasName('Devil',Name))
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('Name'),and(hasName('Devil','$VAR'('Name')),isa('$VAR'('Name'),tName))))
%~ w_o_c(
%~ error = error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(1,[[Name,tName]],hasName('Devil',Name)), KB,rule15:0,_1114))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif#L86
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('exactly_01p.pfc.clif',user,'<gt;garbage_collected>'). % init.pl:2353:
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x558351a5b100)))). no(clause)
(14)$[system] '$c_call_prolog'. no(clause)
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x558351a5b100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,compiled,[expand(false),expand(true)]). % init.pl:2592:
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',1632225620.4607399),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',lexstate(202,swi),user)). % init.pl:646:
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$source_term'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','<gt;garbage_collected>','<gt;garbage_collected>',A,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % init.pl:1739:
(30)[system]# setup_call_catcher_cleanup(system:'$open_source'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;stream>(0x55833fd5d600),close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),[],[expand(false),expand(true)]),system:'$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]),F,system:'$close_source'(close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),true)). % init.pl:646:
(31)<gt;*>$[system]# '$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1831:
(32)$[system]# '$expanded_term'(<gt;stream>(0x55833fd5d600),begin_of_file,0-0,A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1876:
(33)$[system] catch(system:'$expand_term'(begin_of_file,0-0,A,B),error(C,D),system:'$print_message_fail'(error(C,D))). % init.pl:546:
(35)[$expand] expand_term(begin_of_file,'<gt;garbage_collected>',A,B). % expand.pl:110:
(37)<gt;*>$[$expand]# call_term_expansion_5(...,begin_of_file,...,A,...). % expand.pl:155:
(38)<gt;*>[common_logic_loader] term_expansion(begin_of_file,0-0,A,0-0). % common_logic_loader.pl:244:
(40)[common_logic_loader] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_loader.pl:228:
(41)[common_logic_loader] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(42)$[system] '$c_call_prolog'. no(clause)
(49)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(53)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((common_logic_loader:with_lisp_translation(<gt;stream>(0x55833fd5d600),kif_process_once),deterministic(A)),(notrace(A==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(54)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>'). no(clause)
(56)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),common_logic_loader:kif_process_once). % sreader.pl:109:
(57)$[dcg_meta] dcg_meta:zalwayz('<gt;garbage_collected>'). % dcg_meta.pl:517:
(58)$[dcg_meta] notrace(catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,fail)). no(clause)
(59)$[system] '$c_call_prolog'. no(clause)
(60)$[system] catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,dcg_meta:fail). % init.pl:546:
(61)[s3xpr] s3xpr:call_proc(common_logic_loader:kif_process_once,'<gt;garbage_collected>'). % sreader.pl:116:
(63)<gt;*>[must_sanity]# must_sanity:common_logic_loader:once(kif_process((:-kif_io))). % must_sanity.pl:65:
(64)$[system] once('<gt;garbage_collected>'). % init.pl:519:
(65)<gt;*>$[common_logic_loader] common_logic_loader:kif_process('<gt;garbage_collected>'). % common_logic_loader.pl:108:
(68)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(common_logic_loader,show_failed(common_logic_loader,common_logic_loader:kif_process(tell,(:-kif_io)))),nop(break),!,fail)). % ucatch.pl:1715:
(69)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(72)[common_logic_loader] common_logic_loader:kif_process(call,'<gt;garbage_collected>'). % common_logic_loader.pl:185:
(73)$[system] call('<gt;garbage_collected>'). % init.pl:483:
(76)[user] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(77)$[system] '$c_call_prolog'. no(clause)
(84)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(86)$[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),user:kif_process_once). % sreader.pl:109:
(87)$[dcg_meta] dcg_meta:zalwayz('<gt;garbage_collected>'). % dcg_meta.pl:517:
(88)$[dcg_meta] notrace(catch(s3xpr:call_proc(user:kif_process_once,[exactly,1,[[Name,tName]],[hasName,'Devil',Name]]),A,fail)). no(clause)
(89)$[system] '$c_call_prolog'. no(clause)
(90)$[system] catch(s3xpr:call_proc(user:kif_process_once,[exactly,1,[[Name,tName]],[hasName,'Devil',Name]]),A,dcg_meta:fail). % init.pl:546:
(91)[s3xpr] s3xpr:call_proc(user:kif_process_once,'<gt;garbage_collected>'). % sreader.pl:116:
(93)<gt;*>[must_sanity]# must_sanity:user:once(kif_process([exactly,1,[[Name,tName]],[hasName,'Devil',Name]])). % must_sanity.pl:65:
(94)$[system] once('<gt;garbage_collected>'). % init.pl:519:
(95)<gt;*>$[user] common_logic_loader:kif_process('<gt;garbage_collected>'). % common_logic_loader.pl:107:
(98)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,[exactly,1,[[Name,tName]],[hasName,'Devil',Name]]))),nop(break),!,fail)). % ucatch.pl:1715:
(99)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(100)<gt;*>$[user] common_logic_loader:kif_process(tell,'<gt;garbage_collected>'). % common_logic_loader.pl:146:
(103)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,exactly(1,[[Name,tName]],hasName('Devil',Name))))),nop(break),!,fail)). % ucatch.pl:1715:
(104)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(109)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_add(exactly(1,[[Name,tName]],hasName('Devil',Name))))),nop(break),!,fail)). % ucatch.pl:1715:
(110)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(111)[user] common_logic_snark:kif_add(exactly(1,[[Name,tName]],hasName('Devil',Name))). % common_logic_snark.pl:1664:
(112)[user] common_logic_snark:kif_add2('<gt;garbage_collected>'). % common_logic_snark.pl:1670:
(113)[user] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>'). % common_logic_snark.pl:1063:
(114)[user] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_snark.pl:1099:
(115)<gt;*>[must_sanity]# must_sanity:user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),A,rule15:0). % must_sanity.pl:65:
(116)[user] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_snark.pl:1107:
(117)[locally_each] locally_each:w_o_c('<gt;garbage_collected>'). % redo_locally.pl:86:
(118)$[system] catch(locally_each:w_o_c(error,user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A)),error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A))),break,trace,user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A))). % init.pl:546:
(119)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A))),break,trace,user:kif_to_boxlog(exactly(1,[[Name,tName]],hasName('Devil',Name)),KB,rule15:0,A))). no(clause)
(120)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(Name),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(1,[[Name,tName]],hasName('Devil',Name)), KB,rule15:0,_1114))
% Break level 1
% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(1),%~ Name,%~ hasName('Devil',Name)&isa(Name,tName)).%~ %~ correct_special_quantifiers:-quant(exactly(1),Name,hasName('Devil',Name)&isa(Name,tName))%~ kifi = exactly(1,[[Name,tName]],hasName('Devil',Name)).%~ kifm = nesc( quant(exactly(1),Name,hasName('Devil',Name)&isa(Name,tName))).%~ as_sigma :- necessary( quant(exactly(1),Name,and(hasName('Devil',Name),isa(Name,tName)))).%~ %~ as_sigma:-necessary(quant(exactly(1),Name,and(hasName('Devil',Name),isa(Name,tName))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('Name'),and(hasName('Devil','$VAR'('Name')),isa('$VAR'('Name'),tName))))%~ as_dlog :- ( nesc( v( nesc( ~( quant(exactly(1),Name,isa(Name,tName)))),%~ quant(exactly(1),Name,hasName('Devil',Name)))) &%~ nesc( v( nesc( ~( quant(exactly(1),Name,hasName('Devil',Name)))),%~ quant(exactly(1),Name,isa(Name,tName))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(1),Name,isa(Name,tName))),quant(exactly(1),Name,hasName('Devil',Name))))&nesc(v(nesc(~quant(exactly(1),Name,hasName('Devil',Name))),quant(exactly(1),Name,isa(Name,tName))))
%~ debugm(user,show_success(user,user:ain(clif(if(and(a,b),c)))))
=======================================================
if(and(a,b),c)
============================================
?- kif_to_boxlog( if(and(a,b),c) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ a and b if c
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(=>(and(a,b),c))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 3 entailment(s):
nesc(a)&nesc(b)==>nesc(c).
poss(~c)&nesc(a)==>poss(~b).
poss(~c)&nesc(b)==>poss(~a).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " a " is necessarily true and
%~ " b " is necessarily true
%~ It's Proof that:
%~ " c " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(a)&nesc(b)==>nesc(c).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " c " is possibly false and
%~ " a " is necessarily true
%~ It's Proof that:
%~ " b " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
poss(~c)&nesc(a)==>poss(~b).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " c " is possibly false and
%~ " b " is necessarily true
%~ It's Proof that:
%~ " a " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
poss(~c)&nesc(b)==>poss(~a).
============================================
%~ kif_to_boxlog_attvars2 = necessary(=>(and(a,b),c))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " a " is necessarily true and
%~ " b " is necessarily true
%~ It's Proof that:
%~ " c " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(a)&nesc(b)==>nesc(c).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " c " is possibly false and
%~ " b " is necessarily true
%~ It's Proof that:
%~ " a " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
poss(~c)&nesc(b)==>poss(~a).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " c " is possibly false and
%~ " a " is necessarily true
%~ It's Proof that:
%~ " b " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
poss(~c)&nesc(a)==>poss(~b).
%~ comment(" ============================================================")
%~ comment(" if a and be then c")
%~ comment(" ============================================================")
%~ comment(" ============================================================")
%~ comment(" Exactly 1")
%~ comment(" ============================================================")
%~ debugm( user,
%~ show_success( user,
%~ user : ain( clif( exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))))))
=======================================================
exactly(1,'[|]'('[|]'('$VAR'('H1'),'[|]'(tHouse,[])),[]),memberOf('$VAR'('H1'),tOneHouseSet))
============================================
?- kif_to_boxlog( exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tOneHouseSet),isa('$VAR'('H1'),tHouse))))
%~ w_o_c(
%~ error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)), KB,rule18:0,_998360))
%~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif#L86
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('exactly_01p.pfc.clif',user,'<gt;garbage_collected>'). % init.pl:2353:
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x558351a5b100)))). no(clause)
(14)$[system] '$c_call_prolog'. no(clause)
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x558351a5b100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,compiled,[expand(false),expand(true)]). % init.pl:2592:
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',1632225620.4607399),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',lexstate(202,swi),user)). % init.pl:646:
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$source_term'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','<gt;garbage_collected>','<gt;garbage_collected>',A,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % init.pl:1739:
(30)[system]# setup_call_catcher_cleanup(system:'$open_source'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;stream>(0x55833fd5d600),close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),[],[expand(false),expand(true)]),system:'$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]),F,system:'$close_source'(close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),true)). % init.pl:646:
(31)<gt;*>$[system]# '$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1831:
(32)$[system]# '$expanded_term'(<gt;stream>(0x55833fd5d600),begin_of_file,0-0,A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1876:
(33)$[system] catch(system:'$expand_term'(begin_of_file,0-0,A,B),error(C,D),system:'$print_message_fail'(error(C,D))). % init.pl:546:
(35)[$expand] expand_term(begin_of_file,'<gt;garbage_collected>',A,B). % expand.pl:110:
(37)<gt;*>$[$expand]# call_term_expansion_5(...,begin_of_file,...,A,...). % expand.pl:155:
(38)<gt;*>[common_logic_loader] term_expansion(begin_of_file,0-0,A,0-0). % common_logic_loader.pl:244:
(40)[common_logic_loader] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_loader.pl:228:
(41)[common_logic_loader] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(42)$[system] '$c_call_prolog'. no(clause)
(49)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(53)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((common_logic_loader:with_lisp_translation(<gt;stream>(0x55833fd5d600),kif_process_once),deterministic(A)),(notrace(A==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(54)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>'). no(clause)
(56)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),common_logic_loader:kif_process_once). % sreader.pl:109:
(57)$[dcg_meta] dcg_meta:zalwayz('<gt;garbage_collected>'). % dcg_meta.pl:517:
(58)$[dcg_meta] notrace(catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,fail)). no(clause)
(59)$[system] '$c_call_prolog'. no(clause)
(60)$[system] catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,dcg_meta:fail). % init.pl:546:
(61)[s3xpr] s3xpr:call_proc(common_logic_loader:kif_process_once,'<gt;garbage_collected>'). % sreader.pl:116:
(63)<gt;*>[must_sanity]# must_sanity:common_logic_loader:once(kif_process((:-kif_io))). % must_sanity.pl:65:
(64)$[system] once('<gt;garbage_collected>'). % init.pl:519:
(65)<gt;*>$[common_logic_loader] common_logic_loader:kif_process('<gt;garbage_collected>'). % common_logic_loader.pl:108:
(68)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(common_logic_loader,show_failed(common_logic_loader,common_logic_loader:kif_process(tell,(:-kif_io)))),nop(break),!,fail)). % ucatch.pl:1715:
(69)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(72)[common_logic_loader] common_logic_loader:kif_process(call,'<gt;garbage_collected>'). % common_logic_loader.pl:185:
(73)$[system] call('<gt;garbage_collected>'). % init.pl:483:
(76)[user] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(77)$[system] '$c_call_prolog'. no(clause)
(84)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(86)$[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),user:kif_process_once). % sreader.pl:109:
(87)$[dcg_meta] dcg_meta:zalwayz(s3xpr:call_proc(user:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])). % dcg_meta.pl:517:
(88)$[dcg_meta] notrace(catch(s3xpr:call_proc(user:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]),A,fail)). no(clause)
(89)$[system] '$c_call_prolog'. no(clause)
(90)$[system] catch(s3xpr:call_proc(user:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]),A,dcg_meta:fail). % init.pl:546:
(91)[s3xpr] s3xpr:call_proc(user:kif_process_once,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]). % sreader.pl:116:
(93)<gt;*>[must_sanity]# must_sanity:user:once(kif_process([exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])). % must_sanity.pl:65:
(94)$[system] once(user:kif_process([exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])). % init.pl:519:
(95)<gt;*>$[user] common_logic_loader:kif_process([exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]). % common_logic_loader.pl:107:
(98)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_process(tell,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]))),nop(break),!,fail)). % ucatch.pl:1715:
(99)$[bugger] bugger:dcall0(user:kif_process(tell,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]])). % bugger.pl:1399:
(100)<gt;*>$[user] common_logic_loader:kif_process(tell,[exactly,1,[[H1,tHouse]],[memberOf,H1,tOneHouseSet]]). % common_logic_loader.pl:146:
(103)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_process(tell,exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)))),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))))),nop(break),!,fail)). % ucatch.pl:1715:
(104)$[bugger] bugger:dcall0(user:kif_process(tell,exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)))). % bugger.pl:1399:
(109)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_add(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)))),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_add(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))))),nop(break),!,fail)). % ucatch.pl:1715:
(110)$[bugger] bugger:dcall0(user:kif_add(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)))). % bugger.pl:1399:
(111)[user] common_logic_snark:kif_add(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))). % common_logic_snark.pl:1664:
(112)[user] common_logic_snark:kif_add2(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))). % common_logic_snark.pl:1670:
(113)[user] common_logic_snark:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet))). % common_logic_snark.pl:1063:
(114)[user] common_logic_snark:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),A). % common_logic_snark.pl:1099:
(115)<gt;*>[must_sanity]# must_sanity:user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),A,rule18:0). % must_sanity.pl:65:
(116)[user] common_logic_snark:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),A,rule18:0). % common_logic_snark.pl:1107:
(117)[locally_each] locally_each:w_o_c(user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A)). % redo_locally.pl:86:
(118)$[system] catch(locally_each:w_o_c(error,user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A)),error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A))),break,trace,user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A))). % init.pl:546:
(119)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A))),break,trace,user:kif_to_boxlog(exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)),KB,rule18:0,A))). no(clause)
(120)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)), KB,rule18:0,_998360))
% Break level 1
% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(1),%~ H1,%~ memberOf(H1,tOneHouseSet)&isa(H1,tHouse)).%~ %~ correct_special_quantifiers:-quant(exactly(1),H1,memberOf(H1,tOneHouseSet)&isa(H1,tHouse))%~ kifi = exactly(1,[[H1,tHouse]],memberOf(H1,tOneHouseSet)).%~ kifm = nesc( quant(exactly(1),H1,memberOf(H1,tOneHouseSet)&isa(H1,tHouse))).%~ as_sigma :- necessary( quant(exactly(1),H1,and(memberOf(H1,tOneHouseSet),isa(H1,tHouse)))).%~ %~ as_sigma:-necessary(quant(exactly(1),H1,and(memberOf(H1,tOneHouseSet),isa(H1,tHouse))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(1),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tOneHouseSet),isa('$VAR'('H1'),tHouse))))%~ as_dlog :- ( nesc( v( nesc( ~( quant(exactly(1),H1,isa(H1,tHouse)))),%~ quant(exactly(1),H1,memberOf(H1,tOneHouseSet)))) &%~ nesc( v( nesc( ~( quant(exactly(1),H1,memberOf(H1,tOneHouseSet)))),%~ quant(exactly(1),H1,isa(H1,tHouse))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(1),H1,isa(H1,tHouse))),quant(exactly(1),H1,memberOf(H1,tOneHouseSet))))&nesc(v(nesc(~quant(exactly(1),H1,memberOf(H1,tOneHouseSet))),quant(exactly(1),H1,isa(H1,tHouse))))
%~ debugm( user,
%~ show_success( user,
%~ user : ain( clif( exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))))))
=======================================================
exactly(2,'[|]'('[|]'('$VAR'('H1'),'[|]'(tHouse,[])),[]),memberOf('$VAR'('H1'),tTwoHouseSet))
============================================
?- kif_to_boxlog( exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(2),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tTwoHouseSet),isa('$VAR'('H1'),tHouse))))
%~ w_o_c(
%~ error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)), KB,rule19:0,_3401734))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif#L86
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('exactly_01p.pfc.clif',user,'<gt;garbage_collected>'). % init.pl:2353:
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x558351a5b100)))). no(clause)
(14)$[system] '$c_call_prolog'. no(clause)
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x558351a5b100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,compiled,[expand(false),expand(true)]). % init.pl:2592:
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',1632225620.4607399),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',lexstate(202,swi),user)). % init.pl:646:
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$source_term'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','<gt;garbage_collected>','<gt;garbage_collected>',A,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % init.pl:1739:
(30)[system]# setup_call_catcher_cleanup(system:'$open_source'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;stream>(0x55833fd5d600),close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),[],[expand(false),expand(true)]),system:'$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]),F,system:'$close_source'(close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),true)). % init.pl:646:
(31)<gt;*>$[system]# '$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1831:
(32)$[system]# '$expanded_term'(<gt;stream>(0x55833fd5d600),begin_of_file,0-0,A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1876:
(33)$[system] catch(system:'$expand_term'(begin_of_file,0-0,A,B),error(C,D),system:'$print_message_fail'(error(C,D))). % init.pl:546:
(35)[$expand] expand_term(begin_of_file,'<gt;garbage_collected>',A,B). % expand.pl:110:
(37)<gt;*>$[$expand]# call_term_expansion_5(...,begin_of_file,...,A,...). % expand.pl:155:
(38)<gt;*>[common_logic_loader] term_expansion(begin_of_file,0-0,A,0-0). % common_logic_loader.pl:244:
(40)[common_logic_loader] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_loader.pl:228:
(41)[common_logic_loader] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(42)$[system] '$c_call_prolog'. no(clause)
(49)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(53)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((common_logic_loader:with_lisp_translation(<gt;stream>(0x55833fd5d600),kif_process_once),deterministic(A)),(notrace(A==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(54)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>'). no(clause)
(56)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),common_logic_loader:kif_process_once). % sreader.pl:109:
(57)$[dcg_meta] dcg_meta:zalwayz('<gt;garbage_collected>'). % dcg_meta.pl:517:
(58)$[dcg_meta] notrace(catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,fail)). no(clause)
(59)$[system] '$c_call_prolog'. no(clause)
(60)$[system] catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,dcg_meta:fail). % init.pl:546:
(61)[s3xpr] s3xpr:call_proc(common_logic_loader:kif_process_once,'<gt;garbage_collected>'). % sreader.pl:116:
(63)<gt;*>[must_sanity]# must_sanity:common_logic_loader:once(kif_process((:-kif_io))). % must_sanity.pl:65:
(64)$[system] once('<gt;garbage_collected>'). % init.pl:519:
(65)<gt;*>$[common_logic_loader] common_logic_loader:kif_process('<gt;garbage_collected>'). % common_logic_loader.pl:108:
(68)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(common_logic_loader,show_failed(common_logic_loader,common_logic_loader:kif_process(tell,(:-kif_io)))),nop(break),!,fail)). % ucatch.pl:1715:
(69)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(72)[common_logic_loader] common_logic_loader:kif_process(call,'<gt;garbage_collected>'). % common_logic_loader.pl:185:
(73)$[system] call('<gt;garbage_collected>'). % init.pl:483:
(76)[user] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(77)$[system] '$c_call_prolog'. no(clause)
(84)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(86)$[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),user:kif_process_once). % sreader.pl:109:
(87)$[dcg_meta] dcg_meta:zalwayz(s3xpr:call_proc(user:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])). % dcg_meta.pl:517:
(88)$[dcg_meta] notrace(catch(s3xpr:call_proc(user:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]),A,fail)). no(clause)
(89)$[system] '$c_call_prolog'. no(clause)
(90)$[system] catch(s3xpr:call_proc(user:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]),A,dcg_meta:fail). % init.pl:546:
(91)[s3xpr] s3xpr:call_proc(user:kif_process_once,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]). % sreader.pl:116:
(93)<gt;*>[must_sanity]# must_sanity:user:once(kif_process([exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])). % must_sanity.pl:65:
(94)$[system] once(user:kif_process([exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])). % init.pl:519:
(95)<gt;*>$[user] common_logic_loader:kif_process([exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]). % common_logic_loader.pl:107:
(98)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]))),nop(break),!,fail)). % ucatch.pl:1715:
(99)$[bugger] bugger:dcall0(user:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]])). % bugger.pl:1399:
(100)<gt;*>$[user] common_logic_loader:kif_process(tell,[exactly,2,[[H1,tHouse]],[memberOf,H1,tTwoHouseSet]]). % common_logic_loader.pl:146:
(103)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_process(tell,exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))))),nop(break),!,fail)). % ucatch.pl:1715:
(104)$[bugger] bugger:dcall0(user:kif_process(tell,exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))). % bugger.pl:1399:
(109)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))))),nop(break),!,fail)). % ucatch.pl:1715:
(110)$[bugger] bugger:dcall0(user:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)))). % bugger.pl:1399:
(111)[user] common_logic_snark:kif_add(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))). % common_logic_snark.pl:1664:
(112)[user] common_logic_snark:kif_add2(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))). % common_logic_snark.pl:1670:
(113)[user] common_logic_snark:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet))). % common_logic_snark.pl:1063:
(114)[user] common_logic_snark:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),A). % common_logic_snark.pl:1099:
(115)<gt;*>[must_sanity]# must_sanity:user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),A,rule19:0). % must_sanity.pl:65:
(116)[user] common_logic_snark:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),A,rule19:0). % common_logic_snark.pl:1107:
(117)[locally_each] locally_each:w_o_c(user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A)). % redo_locally.pl:86:
(118)$[system] catch(locally_each:w_o_c(error,user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A)),error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A))),break,trace,user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A))). % init.pl:546:
(119)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A))),break,trace,user:kif_to_boxlog(exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)),KB,rule19:0,A))). no(clause)
(120)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)), KB,rule19:0,_3401734))
% Break level 1
% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(2),%~ H1,%~ memberOf(H1,tTwoHouseSet)&isa(H1,tHouse)).%~ %~ correct_special_quantifiers:-quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)&isa(H1,tHouse))%~ kifi = exactly(2,[[H1,tHouse]],memberOf(H1,tTwoHouseSet)).%~ kifm = nesc( quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)&isa(H1,tHouse))).%~ as_sigma :- necessary( quant(exactly(2),H1,and(memberOf(H1,tTwoHouseSet),isa(H1,tHouse)))).%~ %~ as_sigma:-necessary(quant(exactly(2),H1,and(memberOf(H1,tTwoHouseSet),isa(H1,tHouse))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(2),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tTwoHouseSet),isa('$VAR'('H1'),tHouse))))%~ as_dlog :- ( nesc( v( nesc( ~( quant(exactly(2),H1,isa(H1,tHouse)))),%~ quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)))) &%~ nesc( v( nesc( ~( quant(exactly(2),H1,memberOf(H1,tTwoHouseSet)))),%~ quant(exactly(2),H1,isa(H1,tHouse))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(2),H1,isa(H1,tHouse))),quant(exactly(2),H1,memberOf(H1,tTwoHouseSet))))&nesc(v(nesc(~quant(exactly(2),H1,memberOf(H1,tTwoHouseSet))),quant(exactly(2),H1,isa(H1,tHouse))))
%~ debugm( user,
%~ show_success( user,
%~ user : ain( clif( exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))))))
=======================================================
exactly(5,'[|]'('[|]'('$VAR'('H1'),'[|]'(tHouse,[])),[]),memberOf('$VAR'('H1'),tFiveHouseSet))
============================================
?- kif_to_boxlog( exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(5),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tFiveHouseSet),isa('$VAR'('H1'),tHouse))))
%~ w_o_c(
%~ error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)), KB,rule20:0,_5801464))
%~ FILE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif#L86
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('exactly_01p.pfc.clif',user,'<gt;garbage_collected>'). % init.pl:2353:
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x558351a5b100)))). no(clause)
(14)$[system] '$c_call_prolog'. no(clause)
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558351a5b100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x558351a5b100),'exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x558351a5b100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('exactly_01p.pfc.clif','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',user,compiled,[expand(false),expand(true)]). % init.pl:2592:
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',1632225620.4607399),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',lexstate(202,swi),user)). % init.pl:646:
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$source_term'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ','<gt;garbage_collected>','<gt;garbage_collected>',A,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % init.pl:1739:
(30)[system]# setup_call_catcher_cleanup(system:'$open_source'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;stream>(0x55833fd5d600),close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),[],[expand(false),expand(true)]),system:'$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]),F,system:'$close_source'(close(<gt;stream>(0x55833fd5d600),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif ',<gt;clause>(0x558341a33f80)),true)). % init.pl:646:
(31)<gt;*>$[system]# '$term_in_file'(<gt;stream>(0x55833fd5d600),A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1831:
(32)$[system]# '$expanded_term'(<gt;stream>(0x55833fd5d600),begin_of_file,0-0,A,B,C,D,E,['* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/exactly_01p.pfc.clif '],[expand(false),expand(true)]). % init.pl:1876:
(33)$[system] catch(system:'$expand_term'(begin_of_file,0-0,A,B),error(C,D),system:'$print_message_fail'(error(C,D))). % init.pl:546:
(35)[$expand] expand_term(begin_of_file,'<gt;garbage_collected>',A,B). % expand.pl:110:
(37)<gt;*>$[$expand]# call_term_expansion_5(...,begin_of_file,...,A,...). % expand.pl:155:
(38)<gt;*>[common_logic_loader] term_expansion(begin_of_file,0-0,A,0-0). % common_logic_loader.pl:244:
(40)[common_logic_loader] common_logic_loader:kif_io('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_loader.pl:228:
(41)[common_logic_loader] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(42)$[system] '$c_call_prolog'. no(clause)
(49)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(53)$[system] setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),each_call_cleanup:((common_logic_loader:with_lisp_translation(<gt;stream>(0x55833fd5d600),kif_process_once),deterministic(A)),(notrace(A==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:sreader_options(logicmoo_read_kif,true)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),B,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(54)$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>'). no(clause)
(56)[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),common_logic_loader:kif_process_once). % sreader.pl:109:
(57)$[dcg_meta] dcg_meta:zalwayz('<gt;garbage_collected>'). % dcg_meta.pl:517:
(58)$[dcg_meta] notrace(catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,fail)). no(clause)
(59)$[system] '$c_call_prolog'. no(clause)
(60)$[system] catch(s3xpr:call_proc(common_logic_loader:kif_process_once,(:-kif_io)),A,dcg_meta:fail). % init.pl:546:
(61)[s3xpr] s3xpr:call_proc(common_logic_loader:kif_process_once,'<gt;garbage_collected>'). % sreader.pl:116:
(63)<gt;*>[must_sanity]# must_sanity:common_logic_loader:once(kif_process((:-kif_io))). % must_sanity.pl:65:
(64)$[system] once('<gt;garbage_collected>'). % init.pl:519:
(65)<gt;*>$[common_logic_loader] common_logic_loader:kif_process('<gt;garbage_collected>'). % common_logic_loader.pl:108:
(68)<gt;*>[ucatch] ucatch:one_must('<gt;garbage_collected>',bugger:(nop(dumpST),debugm1(common_logic_loader,show_failed(common_logic_loader,common_logic_loader:kif_process(tell,(:-kif_io)))),nop(break),!,fail)). % ucatch.pl:1715:
(69)$[bugger] bugger:dcall0('<gt;garbage_collected>'). % bugger.pl:1399:
(72)[common_logic_loader] common_logic_loader:kif_process(call,'<gt;garbage_collected>'). % common_logic_loader.pl:185:
(73)$[system] call('<gt;garbage_collected>'). % init.pl:483:
(76)[user] with_output_to(<gt;stream>(0x7fa5c08f78c0),load_clif(<gt;stream>(0x55833fd5d600))). no(clause)
(77)$[system] '$c_call_prolog'. no(clause)
(84)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(86)$[s3xpr] s3xpr:with_lisp_translation_stream(<gt;stream>(0x55833fd5d600),user:kif_process_once). % sreader.pl:109:
(87)$[dcg_meta] dcg_meta:zalwayz(s3xpr:call_proc(user:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])). % dcg_meta.pl:517:
(88)$[dcg_meta] notrace(catch(s3xpr:call_proc(user:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]),A,fail)). no(clause)
(89)$[system] '$c_call_prolog'. no(clause)
(90)$[system] catch(s3xpr:call_proc(user:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]),A,dcg_meta:fail). % init.pl:546:
(91)[s3xpr] s3xpr:call_proc(user:kif_process_once,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]). % sreader.pl:116:
(93)<gt;*>[must_sanity]# must_sanity:user:once(kif_process([exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])). % must_sanity.pl:65:
(94)$[system] once(user:kif_process([exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])). % init.pl:519:
(95)<gt;*>$[user] common_logic_loader:kif_process([exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]). % common_logic_loader.pl:107:
(98)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]))),nop(break),!,fail)). % ucatch.pl:1715:
(99)$[bugger] bugger:dcall0(user:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]])). % bugger.pl:1399:
(100)<gt;*>$[user] common_logic_loader:kif_process(tell,[exactly,5,[[H1,tHouse]],[memberOf,H1,tFiveHouseSet]]). % common_logic_loader.pl:146:
(103)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_process(tell,exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_process(tell,exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))))),nop(break),!,fail)). % ucatch.pl:1715:
(104)$[bugger] bugger:dcall0(user:kif_process(tell,exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))). % bugger.pl:1399:
(109)<gt;*>[ucatch] ucatch:one_must(bugger:dcall0(user:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))),bugger:(nop(dumpST),debugm1(user,show_failed(user,user:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))))),nop(break),!,fail)). % ucatch.pl:1715:
(110)$[bugger] bugger:dcall0(user:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)))). % bugger.pl:1399:
(111)[user] common_logic_snark:kif_add(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))). % common_logic_snark.pl:1664:
(112)[user] common_logic_snark:kif_add2(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))). % common_logic_snark.pl:1670:
(113)[user] common_logic_snark:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet))). % common_logic_snark.pl:1063:
(114)[user] common_logic_snark:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),A). % common_logic_snark.pl:1099:
(115)<gt;*>[must_sanity]# must_sanity:user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),A,rule20:0). % must_sanity.pl:65:
(116)[user] common_logic_snark:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),A,rule20:0). % common_logic_snark.pl:1107:
(117)[locally_each] locally_each:w_o_c(user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A)). % redo_locally.pl:86:
(118)$[system] catch(locally_each:w_o_c(error,user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A)),error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A))),break,trace,user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A))). % init.pl:546:
(119)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A))),break,trace,user:kif_to_boxlog(exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)),KB,rule20:0,A))). no(clause)
(120)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(H1),context(put_attr/3,'1-st argument')),
%~ user : kif_to_boxlog(
%~ exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)), KB,rule20:0,_5801464))
% Break level 1
% Exit break level 1
%~ correct_special_quantifiers :- quant( exactly(5),%~ H1,%~ memberOf(H1,tFiveHouseSet)&isa(H1,tHouse)).%~ %~ correct_special_quantifiers:-quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)&isa(H1,tHouse))%~ kifi = exactly(5,[[H1,tHouse]],memberOf(H1,tFiveHouseSet)).%~ kifm = nesc( quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)&isa(H1,tHouse))).%~ as_sigma :- necessary( quant(exactly(5),H1,and(memberOf(H1,tFiveHouseSet),isa(H1,tHouse)))).%~ %~ as_sigma:-necessary(quant(exactly(5),H1,and(memberOf(H1,tFiveHouseSet),isa(H1,tHouse))))%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(5),'$VAR'('H1'),and(memberOf('$VAR'('H1'),tFiveHouseSet),isa('$VAR'('H1'),tHouse))))%~ as_dlog :- ( nesc( v( nesc( ~( quant(exactly(5),H1,isa(H1,tHouse)))),%~ quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)))) &%~ nesc( v( nesc( ~( quant(exactly(5),H1,memberOf(H1,tFiveHouseSet)))),%~ quant(exactly(5),H1,isa(H1,tHouse))))).%~ %~ as_dlog:-nesc(v(nesc(~quant(exactly(5),H1,isa(H1,tHouse))),quant(exactly(5),H1,memberOf(H1,tFiveHouseSet))))&nesc(v(nesc(~quant(exactly(5),H1,memberOf(H1,tFiveHouseSet))),quant(exactly(5),H1,isa(H1,tHouse))))
%~ debugm( user,
%~ show_success( user,
%~ user : ain( clif( comment( 'ThisFile666',
%~ '$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n"))))))
=======================================================
comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n"))
============================================
?- kif_to_boxlog( comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n")) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'ThisFile666' comment "\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n" isa '$STRING'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n"))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
comment('ThisFile666','$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n")).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'ThisFile666' comment "\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n" isa '$STRING'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
comment( 'ThisFile666',
'$STRING'("\n\nThere should be at most 8 houses with assertions about them.\nAnd at least 5 houses.\n\n\n(isa ?X tHouse)\n\n\n\n")).
============================================
%~ comment(" ============================================================")
%~ comment(" Exactly 2")
%~ comment(" ============================================================")
%~ comment(" ============================================================")
%~ comment(" Exactly 5")
%~ comment(" ============================================================")
%~ debugm(user,show_success(user,user:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ debugm(user,show_success(user,user:ain(clif('ISSUE:'))))
=======================================================
'ISSUE:'
============================================
?- kif_to_boxlog( 'ISSUE:' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'ISSUE:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('ISSUE:')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('ISSUE:').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that 'ISSUE:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('ISSUE:').
============================================
%~ debugm(user,show_success(user,user:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ debugm(user,show_success(user,user:ain(clif('EDIT:'))))
=======================================================
'EDIT:'
============================================
?- kif_to_boxlog( 'EDIT:' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'EDIT:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('EDIT:')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('EDIT:').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that 'EDIT:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('EDIT:').
============================================
%~ debugm(user,show_success(user,user:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ debugm(user,show_success(user,user:ain(clif('JENKINS:'))))
=======================================================
'JENKINS:'
============================================
?- kif_to_boxlog( 'JENKINS:' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'JENKINS:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('JENKINS:')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('JENKINS:').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that 'JENKINS:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('JENKINS:').
============================================
%~ debugm(user,show_success(user,user:ain(clif('%'))))
=======================================================
'%'
============================================
?- kif_to_boxlog( '%' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('%')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('%').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that '%'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('%').
============================================
%~ debugm(user,show_success(user,user:ain(clif('ISSUE_SEARCH:'))))
=======================================================
'ISSUE_SEARCH:'
============================================
?- kif_to_boxlog( 'ISSUE_SEARCH:' ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ 'ISSUE_SEARCH:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary('ISSUE_SEARCH:')
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc('ISSUE_SEARCH:').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that 'ISSUE_SEARCH:'
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc('ISSUE_SEARCH:').
============================================
% halt
totalTime=6.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k exactly_01p.pfc.clif (returned 0) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped,Skipped'
