logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.FAMILY_REGRESS_01 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 "['family_regress_01.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/FAMILY_REGRESS_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AFAMILY_REGRESS_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/70
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
:- expects_dialect(pfc).
% :- process_this_script.
%= save compiled clauses using forward chaining storage (by default)
%= we are using forward chaining just so any logical errors, performance and program bugs manefest
%= immediately
/*~
~*/
% :- process_this_script.
%= save compiled clauses using forward chaining storage (by default)
%= we are using forward chaining just so any logical errors, performance and program bugs manefest
%= immediately
:- set_clause_compile(fwc).
/*~
~*/
must_is_entailed(G):- must(is_entailed_u(G)).
/*~
~*/
show_test(G):- defaultAssertMt(KB),printAll(must(KB:G)).
%= ````
%= logic tests...
%= ````
%:- debug_logicmoo(logicmoo(_)).
/*~
No source location!?
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(redefine,imported_procedure,common_logic_sanity:show_test/1),
%~ context(system:'$record_clause'/3,Context_Kw)),
%~ error,
%~ [ 'No permission to ~w ~w `~p\'' - [ redefine,
%~ imported_procedure,
%~ common_logic_sanity : show_test/1]])
No permission to redefine imported_procedure `common_logic_sanity:(show_test/1)'
ERROR: No permission to redefine imported_procedure `common_logic_sanity:(show_test/1)'
~*/
%= ````
%= logic tests...
%= ````
%:- debug_logicmoo(logicmoo(_)).
mpred_prop(otherGender,2,prologBuiltin).
/*~
~*/
otherGender(male,female).
/*~
~*/
otherGender(female,male).
/*~
~*/
tCol(male).
/*~
~*/
:- dynamic((bore_offspring/2, gender/2)).
/*~
~*/
bore_offspring(P2,P1) <gt;=> bore_offspring(P1,P2).
/*~
~*/
(bore_offspring(C,P),gender(P,G1), otherGender(G1,G2))
=> gender(C,G2).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(modify,static_procedure,(',')/2),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ (',')/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl',382]])
assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
ERROR: assertz/1: No permission to modify static procedure `(,/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
%~ message_hook_type(warning)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:33
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ( ( bore_offspring(C,P) ,
%~ gender(P,G1) ,
%~ otherGender(G1,G2)) =>
%~ gender(C,G2)),
%~ ( mfl4(
%~ [ 'C'=C, 'P'=P,'G1'=G1,
%~ 'G2'=G2],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 33) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ( ( bore_offspring(C,P) ,
%~ gender(P,G1) ,
%~ otherGender(G1,G2)) =>
%~ gender(C,G2)),
%~ ( mfl4(
%~ [ 'C'=C, 'P'=P,'G1'=G1,
%~ 'G2'=G2],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 33) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((bore_offspring(_628,_630),gender(_630,_632),otherGender(_632,_634))=>gender(_628,_634),(mfl4(['C'=_628,'P'=_630,'G1'=_632,'G2'=_634],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':33,33),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((bore_offspring(_628,_630),gender(_630,_632),otherGender(_632,_634))=>gender(_628,_634),(mfl4(['C'=_628,'P'=_630,'G1'=_632,'G2'=_634],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':33,33),ax))
~*/
gender(P,male) <gt;=> male(P).
/*~
~*/
gender(P,female) <gt;=> female(P).
/*~
~*/
male(P) <gt;=> ~female(P).
% seven rules
/*~
~*/
% seven rules
(((parent(C,M) & female(M)) <gt;=> mother(C,M))).
/*~
~*/
parent(PARENT,GRAND),parent(CHILD,PARENT) => grandparent(CHILD,GRAND).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:45
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(modify,static_procedure,(',')/2),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ (',')/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl',382]])
assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
ERROR: assertz/1: No permission to modify static procedure `(,/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ( parent(PARENT,GRAND),parent(CHILD,PARENT) =>
%~ grandparent(CHILD,GRAND)),
%~ ( mfl4(
%~ [ 'PARENT'=PARENT, 'GRAND'=GRAND,'CHILD'=CHILD],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 45) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ( parent(PARENT,GRAND),parent(CHILD,PARENT) =>
%~ grandparent(CHILD,GRAND)),
%~ ( mfl4(
%~ [ 'PARENT'=PARENT, 'GRAND'=GRAND,'CHILD'=CHILD],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 45) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((parent(_580,_582),parent(_584,_580))=>grandparent(_584,_582),(mfl4(['PARENT'=_580,'GRAND'=_582,'CHILD'=_584],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':45,45),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((parent(_580,_582),parent(_584,_580))=>grandparent(_584,_582),(mfl4(['PARENT'=_580,'GRAND'=_582,'CHILD'=_584],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':45,45),ax))
~*/
grandparent(C,G),male(G) <gt;=> grandfather(C,G).
/*~
~*/
grandparent(C,G),female(G) <gt;=> grandmother(C,G).
/*~
~*/
mother(P,G),parent(GrandKid,P)=>grandmother(GrandKid,G).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(modify,static_procedure,(',')/2),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ (',')/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl',382]])
assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
ERROR: assertz/1: No permission to modify static procedure `(,/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
%~ message_hook_type(warning)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:49
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ( mother(P,G),parent(GrandKid,P) =>
%~ grandmother(GrandKid,G)),
%~ ( mfl4(
%~ [ 'P'=P, 'G'=G,'GrandKid'=GrandKid],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 49) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ( mother(P,G),parent(GrandKid,P) =>
%~ grandmother(GrandKid,G)),
%~ ( mfl4(
%~ [ 'P'=P, 'G'=G,'GrandKid'=GrandKid],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 49) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((mother(_590,_594),parent(_598,_590))=>grandmother(_598,_594),(mfl4(['P'=_590,'G'=_594,'GrandKid'=_598],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':49,49),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((mother(_590,_594),parent(_598,_590))=>grandmother(_598,_594),(mfl4(['P'=_590,'G'=_594,'GrandKid'=_598],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':49,49),ax))
~*/
father(P,G),parent(GrandKid,P)=>grandfather(GrandKid,G).
/*~
%~ message_hook_type(error)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:50
%~ message_hook(
%~ error(permission_error(modify,static_procedure,(',')/2),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ (',')/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl',382]])
assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
ERROR: assertz/1: No permission to modify static procedure `(,/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ( father(P,G),parent(GrandKid,P) =>
%~ grandfather(GrandKid,G)),
%~ ( mfl4(
%~ [ 'P'=P, 'G'=G,'GrandKid'=GrandKid],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 50) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ( father(P,G),parent(GrandKid,P) =>
%~ grandfather(GrandKid,G)),
%~ ( mfl4(
%~ [ 'P'=P, 'G'=G,'GrandKid'=GrandKid],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 50) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((father(_584,_588),parent(_592,_584))=>grandfather(_592,_588),(mfl4(['P'=_584,'G'=_588,'GrandKid'=_592],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':50,50),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((father(_584,_588),parent(_592,_584))=>grandfather(_592,_588),(mfl4(['P'=_584,'G'=_588,'GrandKid'=_592],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':50,50),ax))
~*/
parent(C,P),male(P) <gt;=> father(C,P).
/*~
~*/
parent(C,P),female(P) <gt;=> mother(C,P).
/*~
~*/
parent(X,P),parent(Y,P),different(X,Y) =>siblings(X,Y).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(modify,static_procedure,(',')/2),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ (',')/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl',382]])
assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
ERROR: assertz/1: No permission to modify static procedure `(,/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:55
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ( ( parent(X,P) ,
%~ parent(Y,P) ,
%~ different(X,Y)) =>
%~ siblings(X,Y)),
%~ ( mfl4(
%~ [ 'X'=X, 'P'=P,'Y'=Y],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 55) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ( ( parent(X,P) ,
%~ parent(Y,P) ,
%~ different(X,Y)) =>
%~ siblings(X,Y)),
%~ ( mfl4(
%~ [ 'X'=X, 'P'=P,'Y'=Y],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 55) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((parent(_610,_614),parent(_618,_614),different(_610,_618))=>siblings(_610,_618),(mfl4(['X'=_610,'P'=_614,'Y'=_618],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':55,55),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((parent(_610,_614),parent(_618,_614),different(_610,_618))=>siblings(_610,_618),(mfl4(['X'=_610,'P'=_614,'Y'=_618],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':55,55),ax))
~*/
parent(C,P) => ancestor(C,P).
/*~
~*/
ancestor(C,P), ancestor(P,G) => ancestor(C,G).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:57
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(modify,static_procedure,(',')/2),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ (',')/2],
%~ nl,
%~ '~w at ~w:~d'-['Defined','/var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl',382]])
assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
ERROR: assertz/1: No permission to modify static procedure `(,/2)'
ERROR: Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ (ancestor(C,P),ancestor(P,G))=>ancestor(C,G),
%~ ( mfl4(
%~ [ 'C'=C, 'P'=P,'G'=G],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 57) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ (ancestor(C,P),ancestor(P,G))=>ancestor(C,G),
%~ ( mfl4(
%~ [ 'C'=C, 'P'=P,'G'=G],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 57) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((ancestor(_580,_582),ancestor(_582,_584))=>ancestor(_580,_584),(mfl4(['C'=_580,'P'=_582,'G'=_584],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':57,57),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((ancestor(_580,_582),ancestor(_582,_584))=>ancestor(_580,_584),(mfl4(['C'=_580,'P'=_582,'G'=_584],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':57,57),ax))
~*/
mother(douglas,eileen).
%= trudy is human
/*~
~*/
%= trudy is human
human(trudy).
%= catch a regression bug that may couse trudy to lose human assertion
/*~
~*/
%= catch a regression bug that may couse trudy to lose human assertion
never_retract_u(human(trudy)).
/*~
~*/
never_retract_u(human(eileen)).
/*~
~*/
:- mpred_run.
/*~
~*/
:- debug_logicmoo(_).
/*~
~*/
:- mpred_trace_exec.
%
/*~
~*/
%
forall(c,exists([m,f], if(human(c), (mother(c,m) & father(c,f))))).
/*~
No source location!?
~*/
:- mpred_run.
/*~
~*/
:- printAll(must(father(trudy,_))).
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__Trudy",baseKB:father(trudy,Father_Trudy))).
%~ make_dynamic_here(baseKB,father(trudy,_32826))
failure=info((why_was_true(baseKB:(\+father(trudy,_32826))),nop(ftrace(baseKB:father(trudy,_32826)))))
no_proof_for(\+father(trudy,Father_Trudy2)).
no_proof_for(\+father(trudy,Father_Trudy2)).
no_proof_for(\+father(trudy,Father_Trudy2)).
name = 'logicmoo.base.examples.fol.FAMILY_REGRESS_01-Test_0001_Line_0000__Trudy'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FAMILY_REGRESS_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'family_regress_01.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_FAMILY_REGRESS_01_Test_0001_Line_0000_Trudy-junit.xml
baseKB:mpred_test(father(trudy, _233880)).
/* found 1 for baseKB:mpred_test(father(trudy,_426)).
*/
~*/
:- mpred_run.
% ((human(P1),ancestor(P1,P2))=>human(P2)).
/*~
~*/
% ((human(P1),ancestor(P1,P2))=>human(P2)).
clif(((human(P1),ancestor(P2,P1))=>human(P2))).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = clif( (human(P1),ancestor(P2,P1))=>human(P2)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = clif( (human(P1),ancestor(P2,P1))=>human(P2)) ,
%~ support_fact = mfl4(
%~ [ 'P1'=P1,
%~ 'P2'=P2],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl', 84) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( clif( ( human(Ancestor_Human),ancestor(Human_Ancestor,Ancestor_Human) =>
%~ human(Human_Ancestor)))).
~*/
:- ain(mother(eileen,trudy)).
/*~
%~ call_mpred_post4 :-
%~ level=89 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mother(eileen,trudy) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mother(eileen,trudy) ,
%~ support_fact = mfl4(_29004,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl',86) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mother(eileen,trudy)).
~*/
:- printAll(must(mother(eileen,_))).
/*~
%~ ?-( mpred_test("Test_0002_Line_0000__Eileen",baseKB:mother(eileen,Mother_Eileen))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl#L87
passed=info(why_was_true(baseKB:mother(eileen,trudy)))
Justifications for mother(eileen,trudy):
1.1 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl#L86 ',86)
name = 'logicmoo.base.examples.fol.FAMILY_REGRESS_01-Test_0002_Line_0000__Eileen'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FAMILY_REGRESS_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'family_regress_01.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_FAMILY_REGRESS_01_Test_0002_Line_0000_Eileen-junit.xml
baseKB:mpred_test(mother(eileen, trudy)).
/* found 1 for baseKB:mpred_test(mother(eileen,_440)).
*/
~*/
:- printAll(must(ancestor(eileen,_))).
% lol.. i have a frame problm in my solver.. whenever forall(c,exists([m,f], if(human(c), (mother(c,m) & father(c,f))))). ((human(P1),ancestor(P2,P1))=>human(P2)). human(douglas). I now have a skolemation of a mother who is human .. i my mothers children are human (thus i am) .. but while i am adding a named mother.. the skolem mother loses her assertion and is deduced nonhuman
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/70
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/FAMILY_REGRESS_01/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AFAMILY_REGRESS_01
/*~
%~ ?-( mpred_test("Test_0003_Line_0000__Eileen",baseKB:ancestor(eileen,Ancestor_Eileen))).
%~ make_dynamic_here(baseKB,ancestor(eileen,_275214))
failure=info((why_was_true(baseKB:(\+ancestor(eileen,_275214))),nop(ftrace(baseKB:ancestor(eileen,_275214)))))
no_proof_for(\+ancestor(eileen,Ancestor_Eileen2)).
no_proof_for(\+ancestor(eileen,Ancestor_Eileen2)).
no_proof_for(\+ancestor(eileen,Ancestor_Eileen2)).
name = 'logicmoo.base.examples.fol.FAMILY_REGRESS_01-Test_0003_Line_0000__Eileen'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FAMILY_REGRESS_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'family_regress_01.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_FAMILY_REGRESS_01_Test_0003_Line_0000_Eileen-junit.xml
baseKB:mpred_test(ancestor(eileen, _242134)).
/* found 1 for baseKB:mpred_test(ancestor(eileen,_440)).
*/
~*/
%~ unused(no_junit_results)
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit error = No permission to redefine imported_procedure `common_logic_sanity:(show_test/1)'
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit error = assertz/1: No permission to modify static procedure `(,/2)'
Defined at /var/lib/jenkins/workspace/logicmoo_workspace@2/lib/swipl/boot/init.pl:382
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((bore_offspring(_628,_630),gender(_630,_632),otherGender(_632,_634))=>gender(_628,_634),(mfl4(['C'=_628,'P'=_630,'G1'=_632,'G2'=_634],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':33,33),ax))
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((parent(_580,_582),parent(_584,_580))=>grandparent(_584,_582),(mfl4(['PARENT'=_580,'GRAND'=_582,'CHILD'=_584],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':45,45),ax))
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((mother(_590,_594),parent(_598,_590))=>grandmother(_598,_594),(mfl4(['P'=_590,'G'=_594,'GrandKid'=_598],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':49,49),ax))
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((father(_584,_588),parent(_592,_584))=>grandfather(_592,_588),(mfl4(['P'=_584,'G'=_588,'GrandKid'=_592],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':50,50),ax))
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((parent(_610,_614),parent(_618,_614),different(_610,_618))=>siblings(_610,_618),(mfl4(['X'=_610,'P'=_614,'Y'=_618],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':55,55),ax))
logicmoo.base.examples.fol.FAMILY_REGRESS_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((ancestor(_580,_582),ancestor(_582,_584))=>ancestor(_580,_584),(mfl4(['C'=_580,'P'=_582,'G'=_584],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl':57,57),ax))
Test_0001_Line_0000__Trudy result = failure.
Test_0002_Line_0000__Eileen result = passed.
Test_0003_Line_0000__Eileen result = failure.
%~ test_completed_exit(56)
totalTime=1.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k family_regress_01.pfc.pl (returned 56) Add_LABELS='Errors,Warnings' Rem_LABELS='Skipped,Overtime,Skipped'
