Failed

logicmoo.pfc.test.sanity_base.SV_DEFAULT_01A.logicmoo.pfc.test.sanity_base.SV_DEFAULT_01A@Test_0005_Line_0000__naf_Finin_in_user: user:listing([ full_name/2, \n host_name/2, \n user_login/1]) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.SV_DEFAULT_01A)

Error Message

failure = "failure=info((why_was_true(user:host_name(finin,isMissing)),nop(ftrace(user:(\\+host_name(finin,isMissing))))))\nno_proof_for(host_name(finin,isMissing)).\n\nno_proof_for(host_name(finin,isMissing)).\n\nno_proof_for(host_name(finin,isMissing)).\n\n". failure = []. 

Standard Error

name=Test_0005_Line_0000__naf_Finin_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.SV_DEFAULT_01A'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'sv_default_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 "['sv_default_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/sv_default_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)

:- op(500,fx,'~').
/*~
~*/

:- op(1050,xfx,('==>')).
/*~
~*/

:- op(1050,xfx,'<gt;==>').
/*~
~*/

:- op(1100,fx,('==>')).
/*~
~*/

:- op(1150,xfx,('::::')).

/*~
~*/

:- set_fileAssertMt(header_sane).

/*~
%~ set_fileAssertMt(header_sane)
~*/

:- expects_dialect(pfc).

/*~
~*/


:- dynamic(full_name/2).

% These tests mix singleValuedInArg and mdefault/1 is differnt ways

% if we learn that something has a full name, then we guess it is a user_login object.  (in our version of reality)
/*~
~*/


% These tests mix singleValuedInArg and mdefault/1 is differnt ways

% if we learn that something has a full name, then we guess it is a user_login object.  (in our version of reality)
full_name(U,_) ==> user_login(U).

% if we learn that something has a host name, then we guess it is a user_login object.
/*~
~*/


% if we learn that something has a host name, then we guess it is a user_login object.
host_name(U,_) ==> user_login(U).

% when we know a user_login's full name and host name, make a user_name_host/3 assertion.
/*~
~*/


% when we know a user_login's full name and host name, make a user_name_host/3 assertion.
(((user_login(User),
  full_name(User,Name)/(Name\=isMissing),
  host_name(User,Host)/(Host\=isMissing) ),
  {ground(user_name_host(User,Name,Host))}) ==> user_name_host(User,Name,Host)).

% the default full_name for a user_login is 'isMissing'.
%user_login(User), ~full_name(User,X)/(X\=isMissing)==>full_name(User,isMissing).
/*~
~*/


% the default full_name for a user_login is 'isMissing'.
%user_login(User), ~full_name(User,X)/(X\=isMissing)==>full_name(User,isMissing).
prologSingleValued(full_name).
/*~
~*/

mdefault( user_login(User) ==> full_name(User,isMissing)). 

% the default host_name for a user_login is 'isMissing'.
%user_login(User), ~host_name(User,X)/(X\==isMissing) ==> host_name(User,isMissing).
/*~
~*/
 

% the default host_name for a user_login is 'isMissing'.
%user_login(User), ~host_name(User,X)/(X\==isMissing) ==> host_name(User,isMissing).
prologSingleValued(host_name).
/*~
~*/

mdefault( user_login(User) ==> host_name(User,isMissing)).

/*~
~*/


never_assert_u(full_name(finin,isMissing),too_much_forward_chaing).

/*~
~*/

user_login(joe1).

/*~
~*/

:- sanity(listing([full_name/2,host_name/2,user_login/1])).

/*~
%~ ?-( mpred_test(Kw,user:listing([full_name/2,host_name/2,user_login/1]))).
:- dynamic full_name/2.
:- multifile full_name/2.
:- public full_name/2.
:- module_transparent full_name/2.

full_name(joe1, isMissing).

:- dynamic host_name/2.
:- multifile host_name/2.
:- public host_name/2.
:- module_transparent host_name/2.

host_name(joe1, isMissing).

:- dynamic user_login/1.
:- multifile use
goal=user:listing([full_name/2,host_name/2,user_login/1]).
time=0.00171661376953125.
passed=passed=info(why_was_true(user:listing([full_name/2,host_name/2,user_login/1])))
no_proof_for(listing([ full_name/2, host_name/2,user_login/1])).

:- dynamic full_name/2.
:- multifile full_name/2.
:- public full_name/2.
:- module_transparent full_name/2.

full_name(joe1, isMissing).

:- dynamic host_name/2.
:- multifile host_name/2.
:- public host_name/2.
:- module_transparent host_name/2.

host_name(joe1, isMissing).

:- dynamic user_login/1.
:- multifile user_login/1.
:- public user_login/1.
:- module_transparent user_login/1.

user_login(joe1).

no_proof_for(listing([ full_name/2, host_name/2,user_login/1])).

no_proof_for(listing([ full_name/2, host_name/2,user_login/1])).

result=passed.
goal=user:(\+host_name(finin,isMissing)).
time=0.00043201446533203125.
failure=failure=info((why_was_true(user:host_name(finin,isMissing)),nop(ftrace(user:(\+host_name(finin,isMissing))))))
no_proof_for(host_name(finin,isMissing)).

no_proof_for(host_name(finin,isMissing)).

no_proof_for(host_name(finin,isMissing)).

result=failure.