Failed

logicmoo.pfc.test.sanity_base.TML_01E.logicmoo.pfc.test.sanity_base.TML_01E@Test_0004_Line_0000__path_2_in_user: user: ~path(Path,Path) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.TML_01E)

Error Message

failure = "failure=info((why_was_true(user:(\\+ ~path(_10794,_10794))),nop(ftrace(user: ~path(_10794,_10794)))))\nno_proof_for(\\+ ~path(X,X)).\n\nno_proof_for(\\+ ~path(X,X)).\n\nno_proof_for(\\+ ~path(X,X)).\n\n". failure = []. 

Standard Error

name=Test_0004_Line_0000__path_2_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01E'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01e.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['tml_01e.pfc']")

```
%~ 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/packs_sys/pfc/t/sanity_base/tml_01e.pfc'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
%~ message_hook(
%~    error( permission_error(redefine,module,logicmoo_test),
%~      context(module/2,'Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl')),
%~    error,
%~    [ '~q/~w: '-[module,2],
%~      'No permission to ~w ~w `~p\''-[redefine,module,logicmoo_test],
%~      ' (~w)'-['Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl']])
%~ source_location('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl',98)
module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl)
ERROR: /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:98:
ERROR:    module/2: No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl)

:- use_module(library(statistics)).
/*~
~*/

:- mpred_notrace_exec.
/*~
~*/

:- statistics.
/*~
% Started at Mon Sep 27 03:21:37 2021
% 1.088 seconds cpu time for 2,126,054 inferences
% 941,735 atoms, 32,339 functors, 31,547 predicates, 747 modules, 15,986,630 VM-codes
%
%                     Limit   Allocated      In use
% Local  stack:           -       52 Kb    3,920  b
% Global stack:           -      256 Kb      172 Kb
% Trail  stack:           -       66 Kb      944  b
%        Total:    1,024 Mb      374 Kb      177 Kb
%
% 2 garbage collections gained 95,656 bytes in 0.000 seconds.
% 4 atom garbage collections gained 2,671 atoms in 0.066 seconds.
% 8 clause garbage collections gained 1,839 clauses in 0.000 seconds.
% Stack shifts: 1 local, 2 global, 1 trail in 0.000 seconds
% 3 threads, 0 finished threads used 0.000 seconds
~*/

:- cls.
% reset runtime counter
/*~
%~ skipped(messy_on_output,cls)
~*/

% reset runtime counter
:- statistics(runtime,_Secs).

/*~
~*/

.

transitive(P) ==>
  ((t(P,X,Y),t(P,Y,Z)/(dif(X,Y),dif(Y,Z),dif(X,Z)))==> t(P, X, Z)).

/*~
~*/

taxinomicPair(E,P) ==>
  (t(P,X,Y),t(E,Y,Z) ==> t(P, X, Z)).

/*~
~*/

subRelation(E,P) ==>
  ((t(E,X,Y)/(dif(X,Y))) ==> t(P,X,Y)).

/*~
~*/

edge(1,2).
/*~
~*/

edge(2,3).
/*~
~*/

edge(3,4).

/*~
~*/

subRelation(edge,hop).
/*~
~*/

subRelation(hop,path).
/*~
~*/

symmetric(hop).

/*~
~*/

symmetric(P) ==>
  (t(P,X,Y) ==> t(P,Y,X)).
/*~
~*/

antisymmetric(P)/fail ==>
  (t(P,X,Y) <gt;==> ~t(P,Y,X)).
/*~
~*/

reflexive(P) ==>
   t(P,X,X).
/*~
~*/

antireflexive(P) ==>
  ~t(P,X,X).

/*~
~*/

:- cls.
% things that cannot be true are removed
% unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X).

/*~
%~ skipped(messy_on_output,cls)
~*/

% things that cannot be true are removed
% unneeded when loaded from main system: ~t(P,X,X) ==> \+ t(P,X,X).

:- mpred_why(edge(X,Y)==>hop(X,Y)).

% bug .. giving the wrong proof!
/*~
%~ ?-( mpred_test( "Test_0001_Line_0000__edge_2_in_user",
%~       user : edge(X,Y)==>hop(X,Y))).
failure=info((why_was_true(user:(\+ (edge(_4066,_4088)==>hop(_4066,_4088)))),nop(ftrace(user:(edge(_4066,_4088)==>hop(_4066,_4088))))))
no_proof_for(\+ (edge(X,Y)==>hop(X,Y))).

no_proof_for(\+ (edge(X,Y)==>hop(X,Y))).

no_proof_for(\+ (edge(X,Y)==>hop(X,Y))).

name='logicmoo.pfc.test.sanity_base.TML_01E-Test_0001_Line_0000__edge_2_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.TML_01E'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'tml_01e.pfc\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-test-sanity_base-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Uni
goal=user: ~path(_35676,_35676).
time=0.0005290508270263672.
failure=failure=info((why_was_true(user:(\+ ~path(_10794,_10794))),nop(ftrace(user: ~path(_10794,_10794)))))
no_proof_for(\+ ~path(X,X)).

no_proof_for(\+ ~path(X,X)).

no_proof_for(\+ ~path(X,X)).

result=failure.