Failed

logicmoo.pfc.test.sanity_base.FILE_01A.logicmoo.pfc.test.sanity_base.FILE_01A@Test_0002_Line_0000__af_number_of_clauses_1_in_user: user:(\\+predicate_property(a,number_of_clauses(Clauses1))) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.FILE_01A)

Error Message

failure = "failure=info((why_was_true(user:predicate_property(a,number_of_clauses(_466))),nop(ftrace(user:(\\+predicate_property(a,number_of_clauses(_466)))))))\nno_proof_for(predicate_property(a,number_of_clauses(Clauses1))).\n\nno_proof_for(predicate_property(a,number_of_clauses(1))).\n\nno_proof_for(predicate_property(a,number_of_clauses(Clauses1))).\n\n". failure = []. 

Standard Error

name=Test_0002_Line_0000__af_number_of_clauses_1_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.FILE_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'file_01a.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 "['file_01a.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/file_01a.pfc'),
%~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96
%~ 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)

:- expects_dialect(pfc).

/*~
~*/

header_sane:(must_clause_asserted(G):- cwc, must(clause_asserted_u(G))).
/*~
~*/

:-   ain((must_clause_asserted(G):- cwc, must(clause_asserted_u(G)))).

/*~
~*/

must_clause_asserted(G):- cwc, must(clause_asserted_u(G)).

/*~
~*/

:- listing(must_clause_asserted).

/*~
%~ skipped( listing(must_clause_asserted))
~*/

:- sanity(predicate_property(must_clause_asserted(_),number_of_clauses(_))).

/*~
%~ ?-( mpred_test( "Test_0001_Line_0000__must_clause_asserted_1_in_user",
%~       user : predicate_property(Number_of_clauses,number_of_clauses(Clauses)))).
passed=info(why_was_true(user:predicate_property(must_clause_asserted(_472),number_of_clauses(1))))
no_proof_for(predicate_property(must_clause_asserted(Asserted),number_of_clauses(1))).

no_proof_for(predicate_property(must_clause_asserted(Asserted),number_of_clauses(1))).

no_proof_for(predicate_property(must_clause_asserted(Asserted),number_of_clauses(1))).

name='logicmoo.pfc.test.sanity_base.FILE_01A-Test_0001_Line_0000__must_clause_asserted_1_in_user'.
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.FILE_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'file_01a.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--Units-Logicmoo_pfc_test_sanity_base_FILE_01A_Test_0001_Line_0000_must_clause_asserted_1_in_user-junit.xml
~*/

a.

/*~
~*/

:- listing(a).

/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/file_01a.pfc:28
%~ skipped( listing(a))
~*/

:- header_sane:listing(a).

% @TODO - fails here bc must_clause_asserted/1 needs love
/*~
%~ skipped( listing(a))
~*/

% @TODO - fails here bc must_clause_asserted/1 needs love
:- must_clause_asserted(a).

/*~
%~ message_hook(
%~    error(existence_error(procedure,must_clause_asserted/1),context(system:catch/3,Context_Kw)),
%~    error,
%~    [ '~q/~w: '-[catch,3],
%~      'Unknown procedure: ~q' - [ must_clause_asserted/1]])
catch/3: Unknown procedure: must_clause_asserted/1
ERROR: catch/3: Unknown procedure: must_clause_asserted/1
%~ message_hook(
%~    goal_failed(directive,user:a),
%~    warning,
%~    [ 'Goal (~w) failed: ~p' - [ directive,
%~                                 user : a]])
Goal (directive) failed: user:must_clause_asserted(a)
Warning: Goal (directive) failed: user:must_clause_asserted(a)
~*/

:- mpred_reset.

% @TODO decide if a/0 should become undefined ?
/*~
~*/

% @TODO decide if a/0 should become undefined ?
goal=user:(\+predicate_property(a,number_of_clauses(_26618))).
time=0.00043463706970214844.
failure=failure=info((why_was_true(user:predicate_property(a,number_of_clauses(_466))),nop(ftrace(user:(\+predicate_property(a,number_of_clauses(_466)))))))
no_proof_for(predicate_property(a,number_of_clauses(Clauses1))).

no_proof_for(predicate_property(a,number_of_clauses(1))).

no_proof_for(predicate_property(a,number_of_clauses(Clauses1))).

result=failure.