(0x556703a44a00)) Call: (41) [system] stream_property((0x556703a44a00), file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc')) Unify: (41) [system] stream_property((0x556703a44a00), file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc')) Exit: (41) [system] stream_property((0x556703a44a00), file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc')) Call: (41) [system] term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])=..[_106284, _106290, _106296|_106298] Exit: (41) [system] term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])=..[term_position, 1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [...])]] Call: (41) [system] ttyflush Exit: (41) [system] ttyflush Call: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Call: (42) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))==end_of_file Fail: (42) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))==end_of_file Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Call: (42) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _112466) Unify: (42) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285) Exit: (42) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285) Call: (42) [system] _114340 is 1285+1 Exit: (42) [system] 1286 is 1285+1 Call: (42) [system] 1352=(0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Call: (42) [echo_files] echo_files:feedback_close('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Unify: (42) [echo_files] echo_files:feedback_close('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') ^ Call: (43) [echo_files] retract(t_l:feedback_started('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', current_output)) ^ Exit: (43) [echo_files] retract(t_l:feedback_started('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', current_output)) Call: (43) [$syspreds] format('~N~~*/~n') Unify: (43) [$syspreds] format('~N~~*/~n') ~*/ Exit: (43) [$syspreds] format('~N~~*/~n') Exit: (42) [echo_files] echo_files:feedback_close('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Call: (42) [system] fail Fail: (42) [system] fail Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _95734) Call: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1286) Unify: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1286) Call: (43) [t_l] t_l:file_stream_loc(_126670, (0x556703a44a00), _126674) Unify: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285) Exit: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285) Unify: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1286) Call: (43) [t_l] t_l:file_stream_loc(_129098, (0x556703a44a00), _129100) Unify: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285) Exit: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285) Call: (43) [system] 1286>1285 Exit: (43) [system] 1286>1285 Call: (43) [echo_files] echo_files:print_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285, 1286) Unify: (43) [echo_files] echo_files:print_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285, 1286) Call: (44) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1285, 1286, _3594) Unify: (44) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1285, 1286, _3594) Call: (45) [system] _4848 is 1286-1285 Exit: (45) [system] 1 is 1286-1285 Call: (45) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _6068, []) Unify: (45) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _6068, []) Call: (46) [error] error:must_be(list, []) Unify: (46) [error] error:must_be(list, []) Exit: (46) [error] error:must_be(list, []) Call: (46) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _9178) Unify: (46) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _9178) Exit: (46) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') ^ Call: (46) [read_util] setup_call_cleanup(open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _11184, []), read_string(_11184, _11192, _6068), close(_11184)) ^ Unify: (46) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _11184, []), read_util:read_string(_11184, _11192, _6068), read_util:close(_11184)) Call: (50) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _11184, []) Exit: (50) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x5566f51eb300), []) Call: (49) [system] close((0x5566f51eb300)) Exit: (49) [system] close((0x5566f51eb300)) ^ Exit: (46) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x5566f51eb300), []), read_util:read_string((0x5566f51eb300), 2496, "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n"), read_util:close((0x5566f51eb300))) Exit: (45) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", []) Call: (45) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1285, 1, _16830, _3594) Exit: (45) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1285, 1, 1210, "\n") Exit: (44) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1285, 1286, "\n") Call: (44) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1286) Unify: (44) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1286) ^ Call: (45) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _19892)) ^ Exit: (45) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _19892)) ^ Call: (45) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1286)) ^ Exit: (45) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1286)) Exit: (44) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1286) Call: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Call: (45) [echo_files] echo_files:nsl(_24222) Unify: (45) [echo_files] echo_files:nsl('No source location!?') Exit: (45) [echo_files] echo_files:nsl('No source location!?') ^ Call: (45) [echo_files] logicmoo_util_strings:atom_contains("\n", 'No source location!?') ^ Unify: (45) [echo_files] logicmoo_util_strings:atom_contains("\n", 'No source location!?') Call: (46) [system] "\n"\==[] Exit: (46) [system] "\n"\==[] ^ Call: (46) [echo_files] on_x_debug(sub_string("\n", _28530, _28532, _28534, 'No source location!?')) ^ Unify: (46) [rtrace] on_x_debug(echo_files:sub_string("\n", _28530, _28532, _28534, 'No source location!?')) ^ Fail: (46) [rtrace] on_x_debug(echo_files:sub_string("\n", _28530, _28532, _28534, 'No source location!?')) ^ Fail: (45) [echo_files] logicmoo_util_strings:atom_contains("\n", 'No source location!?') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Call: (45) [system] sub_string("\n", _32348, _32412, _32350, '\n/*~') Fail: (45) [system] sub_string("\n", _32348, _33030, _32350, '\n/*~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Call: (45) [system] sub_string("\n", _34206, _34270, _34208, '/*~') Fail: (45) [system] sub_string("\n", _34206, _34888, _34208, '/*~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Call: (45) [system] sub_string("\n", _36682, _36746, _36684, '\n%~') Fail: (45) [system] sub_string("\n", _36682, _37364, _36684, '\n%~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Call: (45) [system] sub_string("\n", _38540, _38604, _38542, '%~') Fail: (45) [system] sub_string("\n", _38540, _39222, _38542, '%~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Call: (45) [system] write("\n") Exit: (45) [system] write("\n") Exit: (44) [echo_files] echo_files:write_ommit_feedback(on, "\n") Exit: (43) [echo_files] echo_files:print_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1285, 1286) Exit: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1286) Call: (42) [system] fail Fail: (42) [system] fail Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _802) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _802) Call: (42) [echo_files] echo_files:mco_p('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352) Unify: (42) [echo_files] echo_files:mco_p('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352) Call: (43) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1286, 1352, _47798) Unify: (43) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1286, 1352, _47798) Call: (44) [system] _49052 is 1352-1286 Exit: (44) [system] 66 is 1352-1286 Call: (44) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _50272, []) Unify: (44) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _50272, []) Call: (45) [error] error:must_be(list, []) Unify: (45) [error] error:must_be(list, []) Exit: (45) [error] error:must_be(list, []) Call: (45) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _53382) Unify: (45) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _53382) Exit: (45) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') ^ Call: (45) [read_util] setup_call_cleanup(open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _55388, []), read_string(_55388, _55396, _50272), close(_55388)) ^ Unify: (45) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _55388, []), read_util:read_string(_55388, _55396, _50272), read_util:close(_55388)) Call: (49) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _55388, []) Exit: (49) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x5566f51ea400), []) Call: (48) [system] close((0x5566f51ea400)) Exit: (48) [system] close((0x5566f51ea400)) ^ Exit: (45) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x5566f51ea400), []), read_util:read_string((0x5566f51ea400), 2496, "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n"), read_util:close((0x5566f51ea400))) Exit: (44) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", []) Call: (44) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1286, 66, _61034, _47798) Exit: (44) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1286, 66, 1144, ":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))") Exit: (43) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1286, 1352, ":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))") Call: (43) [echo_files] echo_files:read_mco(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", _62914, _62916, _62918, _62920, _62922) Unify: (43) [echo_files] echo_files:read_mco(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", _63548, _63550, _63552, _63554, _63556) Call: (44) [system] read_term_from_atom(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", _64124, [cycles(true), comments(_64144), quasi_quotations(_64154), variable_names(_64164), singletons(_64174)]) Exit: (44) [system] read_term_from_atom(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), [cycles(true), comments([]), quasi_quotations([]), variable_names([]), singletons([])]) Call: (44) [system] read_term_from_atom(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", _65442, [cycles(false), comments(_65462), quasi_quotations(_65472), variable_names(_65482), singletons(_65492)]) Exit: (44) [system] read_term_from_atom(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), [cycles(false), comments([]), quasi_quotations([]), variable_names([]), singletons([])]) Call: (44) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))=@=(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Exit: (44) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))=@=(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Call: (44) [system] _67972=(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Exit: (44) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))=(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Exit: (43) [echo_files] echo_files:read_mco(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))", (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), [], [], [], []) Call: (43) [system] write(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))") :- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))) Exit: (43) [system] write(":- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))") Call: (43) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _71082, 1352) Unify: (43) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _71704, 1352) ^ Call: (44) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _72278, _72280)) ^ Exit: (44) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _72278, _72280)) ^ Call: (44) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _72278, 1352)) ^ Exit: (44) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _72278, 1352)) Exit: (43) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _72278, 1352) Exit: (42) [echo_files] echo_files:mco_p('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352) Call: (42) [system] fail Fail: (42) [system] fail Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _802) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _802) Call: (42) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) Unify: (42) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) ^ Call: (43) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _79716)) ^ Exit: (43) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _79716)) ^ Call: (43) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352)) ^ Exit: (43) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352)) Exit: (42) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) Call: (42) [system] fail Fail: (42) [system] fail Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _802) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _802) Call: (42) [system] character_count((0x556703a44a00), _85266) Exit: (42) [system] character_count((0x556703a44a00), 1353) Call: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1353) Unify: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1353) Call: (43) [t_l] t_l:file_stream_loc(_87772, (0x556703a44a00), _87776) Unify: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) Exit: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) Unify: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1353) Call: (43) [t_l] t_l:file_stream_loc(_90200, (0x556703a44a00), _90202) Unify: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) Exit: (43) [t_l] t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352) Call: (43) [system] 1353>1352 Exit: (43) [system] 1353>1352 Call: (43) [echo_files] echo_files:print_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352, 1353) Unify: (43) [echo_files] echo_files:print_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352, 1353) Call: (44) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1352, 1353, _94534) Unify: (44) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1352, 1353, _94534) Call: (45) [system] _95788 is 1353-1352 Exit: (45) [system] 1 is 1353-1352 Call: (45) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _97008, []) Unify: (45) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _97008, []) Call: (46) [error] error:must_be(list, []) Unify: (46) [error] error:must_be(list, []) Exit: (46) [error] error:must_be(list, []) Call: (46) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _100118) Unify: (46) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _100118) Exit: (46) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') ^ Call: (46) [read_util] setup_call_cleanup(open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _102124, []), read_string(_102124, _102132, _97008), close(_102124)) ^ Unify: (46) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _102124, []), read_util:read_string(_102124, _102132, _97008), read_util:close(_102124)) Call: (50) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _102124, []) Exit: (50) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x5566f5f22600), []) Call: (49) [system] close((0x5566f5f22600)) Exit: (49) [system] close((0x5566f5f22600)) ^ Exit: (46) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x5566f5f22600), []), read_util:read_string((0x5566f5f22600), 2496, "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n"), read_util:close((0x5566f5f22600))) Exit: (45) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", []) Call: (45) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1352, 1, _107770, _94534) Exit: (45) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1352, 1, 1143, ".") Exit: (44) [echo_files] echo_files:get_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1352, 1353, ".") Call: (44) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353) Unify: (44) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353) ^ Call: (45) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _110832)) ^ Exit: (45) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _110832)) ^ Call: (45) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353)) ^ Exit: (45) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353)) Exit: (44) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353) Call: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Call: (45) [echo_files] echo_files:nsl(_115162) Unify: (45) [echo_files] echo_files:nsl('No source location!?') Exit: (45) [echo_files] echo_files:nsl('No source location!?') ^ Call: (45) [echo_files] logicmoo_util_strings:atom_contains(".", 'No source location!?') ^ Unify: (45) [echo_files] logicmoo_util_strings:atom_contains(".", 'No source location!?') Call: (46) [system] "."\==[] Exit: (46) [system] "."\==[] ^ Call: (46) [echo_files] on_x_debug(sub_string(".", _119470, _119472, _119474, 'No source location!?')) ^ Unify: (46) [rtrace] on_x_debug(echo_files:sub_string(".", _119470, _119472, _119474, 'No source location!?')) ^ Fail: (46) [rtrace] on_x_debug(echo_files:sub_string(".", _119470, _119472, _119474, 'No source location!?')) ^ Fail: (45) [echo_files] logicmoo_util_strings:atom_contains(".", 'No source location!?') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Call: (45) [system] sub_string(".", _123288, _123352, _123290, '\n/*~') Fail: (45) [system] sub_string(".", _123288, _123970, _123290, '\n/*~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Call: (45) [system] sub_string(".", _125146, _125210, _125148, '/*~') Fail: (45) [system] sub_string(".", _125146, _125828, _125148, '/*~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Call: (45) [system] sub_string(".", _127622, _127686, _127624, '\n%~') Fail: (45) [system] sub_string(".", _127622, _128304, _127624, '\n%~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Call: (45) [system] sub_string(".", _129480, _129544, _129482, '%~') Fail: (45) [system] sub_string(".", _129480, _130162, _129482, '%~') Redo: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Unify: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Call: (45) [system] write(".") . Exit: (45) [system] write(".") Exit: (44) [echo_files] echo_files:write_ommit_feedback(on, ".") Exit: (43) [echo_files] echo_files:print_file_range('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1352, 1353) Exit: (42) [echo_files] echo_files:catch_up_to_stream((0x556703a44a00), 1353) Call: (42) [system] fail Fail: (42) [system] fail Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Call: (42) [echo_files] echo_files:consume_white_space('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00)) Unify: (42) [echo_files] echo_files:consume_white_space('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00)) Call: (43) [system] at_end_of_stream((0x556703a44a00)) Fail: (43) [system] at_end_of_stream((0x556703a44a00)) Redo: (42) [echo_files] echo_files:consume_white_space('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00)) Unify: (42) [echo_files] echo_files:consume_white_space('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00)) Call: (43) [system] character_count((0x556703a44a00), _11172) Exit: (43) [system] character_count((0x556703a44a00), 1353) Call: (43) [echo_files] echo_files:get_file_from('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1353, _12386) Unify: (43) [echo_files] echo_files:get_file_from('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1353, _12386) Call: (44) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _13632, []) Unify: (44) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _13632, []) Call: (45) [error] error:must_be(list, []) Unify: (45) [error] error:must_be(list, []) Exit: (45) [error] error:must_be(list, []) Call: (45) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _16742) Unify: (45) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], _16742) Exit: (45) [system] absolute_file_name('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', [access(read)], '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') ^ Call: (45) [read_util] setup_call_cleanup(open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _18748, []), read_string(_18748, _18756, _13632), close(_18748)) ^ Unify: (45) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _18748, []), read_util:read_string(_18748, _18756, _13632), read_util:close(_18748)) Call: (49) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, _18748, []) Exit: (49) [system] open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x55670423a900), []) Call: (48) [system] close((0x55670423a900)) Exit: (48) [system] close((0x55670423a900)) ^ Exit: (45) [system] setup_call_cleanup(read_util:open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', read, (0x55670423a900), []), read_util:read_string((0x55670423a900), 2496, "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n"), read_util:close((0x55670423a900))) Exit: (44) [read_util] read_util:read_file_to_string('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', "#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", []) Call: (44) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1353, _24392, 0, _12386) Exit: (44) [system] sub_string("#!/usr/bin/env lmoo-junit\n%\n% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog\n%\n% Dec 13, 2035\n% Douglas Miles\n\n% Tests Forward chaining of assertable attributed variables\n\n% was_module(attvar_02,[]).\n\n:- if(autoload_all([verbose(false)])).\n:- endif.\n:- include(library(logicmoo_test_header)).\n\n:- if(\\+ current_module(dictoo_lib)).\n:- ensure_loaded(library(dictoo)).\n:- endif.\n:- if(\\+ current_module(attvar_reader)).\n:- use_module(library(logicmoo/attvar_reader)).\n:- endif.\n\n%:- dynamic(sk2_out/1).\n%:- dynamic(sk2_in/1).\n\n\n% :- process_this_script.\n\n:- prolog_autoload:autoload_all([verbose(false)]).\n\n\n:- debug_logicmoo(_).\n:- nodebug_logicmoo(http(_)).\n:- debug_logicmoo(logicmoo(_)).\n\n:- read_attvars(false).\n:- set_prolog_flag(assert_attvars,true).\n:- set_prolog_flag(expand_attvars,false).\n:- set_prolog_flag(expand_attvars,true).\n:- flag_call(runtime_debug=true).\n\n:- read_attvars(true).\n\nsk2:attr_unify_hook(_,_).\n \n:- mpred_trace_exec.\n\n% :- call((rtrace)).\n:- assert_mu(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n% :- listing_u(sk2_in/1).\n\n:- listing(sk2_in/1).\n\n%:- call(rtrace).\n:- must((sk2_in(Ex),get_attr(Ex,sk2,What),What=='SKF-6667')).\n%:- call(break).\n\n:- read_attvars(true).\n:- call((true,rtrace)).\n:- must(clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", 1353, 1143, 0, " \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n") Exit: (43) [echo_files] echo_files:get_file_from('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', 1353, " \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n") Call: (43) [system] open_string(" \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", _26482) Exit: (43) [system] open_string(" \n:- call((true,prolog)).\n:- read_attvars(false).\n:- must( \\+ clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). \n\n\n:- set_prolog_flag(assert_attvars,false).\n:- set_prolog_flag(expand_attvars,false).\n:- read_attvars(false).\nca:- clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))).\n\n:- listing(ca).\n\n:- abolish(sk2_in/1).\n\n:- with_fc_mode(zdirect,must((get_fc_mode((xxxf,ax),DMode),DMode=zdirect))).\n\nsk2_in(avar([vn='Ex',sk2='SKF-666'])).\n:- listing(sk2_in/1).\n\n:- set_prolog_flag(expand_attvars,true).\n:- set_prolog_flag(assert_attvars,false).\nsk2_in(Ex)==>sk2_out(Ex).\n\n:- listing(sk2_out/1).\n\n% :- set_prolog_flag(read_attvars,true).\n% :- trace,((sk2_out(Ex),oo_get_attr(Ex,sk2,What),What='SKF-666')).\n\n\n\n% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/356 \n% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_02.pfc \n% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_02/ \n% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_02 \n\n", (0x5566f78fda00)) Call: (43) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (43) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (44) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (44) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (45) [system] at_end_of_stream((0x5566f78fda00)) Fail: (45) [system] at_end_of_stream((0x5566f78fda00)) Redo: (44) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (44) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (45) [system] peek_char((0x5566f78fda00), _32584) Exit: (45) [system] peek_char((0x5566f78fda00), ' ') Call: (45) [system] char_type(' ', space) Exit: (45) [system] char_type(' ', space) Call: (45) [system] get_char((0x5566f78fda00), ' ') Exit: (45) [system] get_char((0x5566f78fda00), ' ') Call: (45) [system] put_char(' ') Exit: (45) [system] put_char(' ') Exit: (44) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (44) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (44) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (45) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (45) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (46) [system] at_end_of_stream((0x5566f78fda00)) Fail: (46) [system] at_end_of_stream((0x5566f78fda00)) Redo: (45) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (45) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (46) [system] peek_char((0x5566f78fda00), _42928) Exit: (46) [system] peek_char((0x5566f78fda00), ' ') Call: (46) [system] char_type(' ', space) Exit: (46) [system] char_type(' ', space) Call: (46) [system] get_char((0x5566f78fda00), ' ') Exit: (46) [system] get_char((0x5566f78fda00), ' ') Call: (46) [system] put_char(' ') Exit: (46) [system] put_char(' ') Exit: (45) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (45) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (45) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (46) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (46) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (47) [system] at_end_of_stream((0x5566f78fda00)) Fail: (47) [system] at_end_of_stream((0x5566f78fda00)) Redo: (46) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (46) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (47) [system] peek_char((0x5566f78fda00), _53272) Exit: (47) [system] peek_char((0x5566f78fda00), ' ') Call: (47) [system] char_type(' ', space) Exit: (47) [system] char_type(' ', space) Call: (47) [system] get_char((0x5566f78fda00), ' ') Exit: (47) [system] get_char((0x5566f78fda00), ' ') Call: (47) [system] put_char(' ') Exit: (47) [system] put_char(' ') Exit: (46) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (46) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (46) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (47) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (47) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (48) [system] at_end_of_stream((0x5566f78fda00)) Fail: (48) [system] at_end_of_stream((0x5566f78fda00)) Redo: (47) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (47) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (48) [system] peek_char((0x5566f78fda00), _63616) Exit: (48) [system] peek_char((0x5566f78fda00), ' ') Call: (48) [system] char_type(' ', space) Exit: (48) [system] char_type(' ', space) Call: (48) [system] get_char((0x5566f78fda00), ' ') Exit: (48) [system] get_char((0x5566f78fda00), ' ') Call: (48) [system] put_char(' ') Exit: (48) [system] put_char(' ') Exit: (47) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (47) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (47) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (48) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (48) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (49) [system] at_end_of_stream((0x5566f78fda00)) Fail: (49) [system] at_end_of_stream((0x5566f78fda00)) Redo: (48) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (48) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (49) [system] peek_char((0x5566f78fda00), _73960) Exit: (49) [system] peek_char((0x5566f78fda00), ' ') Call: (49) [system] char_type(' ', space) Exit: (49) [system] char_type(' ', space) Call: (49) [system] get_char((0x5566f78fda00), ' ') Exit: (49) [system] get_char((0x5566f78fda00), ' ') Call: (49) [system] put_char(' ') Exit: (49) [system] put_char(' ') Exit: (48) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (48) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (48) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (49) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (49) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (50) [system] at_end_of_stream((0x5566f78fda00)) Fail: (50) [system] at_end_of_stream((0x5566f78fda00)) Redo: (49) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (49) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (50) [system] peek_char((0x5566f78fda00), _84304) Exit: (50) [system] peek_char((0x5566f78fda00), ' ') Call: (50) [system] char_type(' ', space) Exit: (50) [system] char_type(' ', space) Call: (50) [system] get_char((0x5566f78fda00), ' ') Exit: (50) [system] get_char((0x5566f78fda00), ' ') Call: (50) [system] put_char(' ') Exit: (50) [system] put_char(' ') Exit: (49) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (49) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (49) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (50) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (50) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (51) [system] at_end_of_stream((0x5566f78fda00)) Fail: (51) [system] at_end_of_stream((0x5566f78fda00)) Redo: (50) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (50) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (51) [system] peek_char((0x5566f78fda00), _94648) Exit: (51) [system] peek_char((0x5566f78fda00), ' ') Call: (51) [system] char_type(' ', space) Exit: (51) [system] char_type(' ', space) Call: (51) [system] get_char((0x5566f78fda00), ' ') Exit: (51) [system] get_char((0x5566f78fda00), ' ') Call: (51) [system] put_char(' ') Exit: (51) [system] put_char(' ') Exit: (50) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (50) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (50) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (51) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (51) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (52) [system] at_end_of_stream((0x5566f78fda00)) Fail: (52) [system] at_end_of_stream((0x5566f78fda00)) Redo: (51) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (51) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (52) [system] peek_char((0x5566f78fda00), _104992) Exit: (52) [system] peek_char((0x5566f78fda00), '\n') Call: (52) [system] char_type('\n', space) Exit: (52) [system] char_type('\n', space) Call: (52) [system] get_char((0x5566f78fda00), '\n') Exit: (52) [system] get_char((0x5566f78fda00), '\n') Call: (52) [system] put_char('\n') Exit: (52) [system] put_char('\n') Exit: (51) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (51) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Unify: (51) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Call: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (53) [system] at_end_of_stream((0x5566f78fda00)) Fail: (53) [system] at_end_of_stream((0x5566f78fda00)) Redo: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (53) [system] peek_char((0x5566f78fda00), _115336) Exit: (53) [system] peek_char((0x5566f78fda00), :) Call: (53) [system] char_type(:, space) Fail: (53) [system] char_type(:, space) Redo: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (53) [echo_files] echo_files:nsl(_118990) Unify: (53) [echo_files] echo_files:nsl('No source location!?') Exit: (53) [echo_files] echo_files:nsl('No source location!?') Call: (53) [system] atom_length('No source location!?', _120834) Exit: (53) [system] atom_length('No source location!?', 20) Call: (53) [system] peek_string((0x5566f78fda00), 20, _122048) Exit: (53) [system] peek_string((0x5566f78fda00), 20, ":- call((true,prolog") Call: (53) [system] ":- call((true,prolog"=='No source location!?' Fail: (53) [system] ":- call((true,prolog"=='No source location!?' Redo: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (53) [system] peek_string((0x5566f78fda00), 2, "%~") Fail: (53) [system] peek_string((0x5566f78fda00), 2, "%~") Redo: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (53) [system] peek_string((0x5566f78fda00), 1, "%") Fail: (53) [system] peek_string((0x5566f78fda00), 1, "%") Redo: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Unify: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Call: (53) [system] peek_string((0x5566f78fda00), 2, "#!") Fail: (53) [system] peek_string((0x5566f78fda00), 2, "#!") Fail: (52) [echo_files] echo_files:consume_white((0x5566f78fda00)) Fail: (51) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (50) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (49) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (48) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (47) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (46) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (45) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (44) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (43) [echo_files] echo_files:consume_white_space_proxy((0x5566f78fda00)) Fail: (42) [echo_files] echo_files:consume_white_space('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00)) Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Call: (42) [system] character_count((0x556703a44a00), _10218) Exit: (42) [system] character_count((0x556703a44a00), 1353) Call: (42) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353) Unify: (42) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353) ^ Call: (43) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _12688)) ^ Exit: (43) [echo_files] retractall(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), _12688)) ^ Call: (43) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353)) ^ Exit: (43) [echo_files] assert(t_l:file_stream_loc('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353)) Exit: (42) [echo_files] echo_files:assume_caughtup_to('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), 1353) Call: (42) [system] fail Fail: (42) [system] fail Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Call: (42) [echo_files] echo_files:mco_i('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), _798) Unify: (42) [echo_files] echo_files:mco_i('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), _798) Call: (43) [system] fail Fail: (43) [system] fail Redo: (42) [echo_files] echo_files:mco_i('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), _798) Fail: (42) [echo_files] echo_files:mco_i('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), _798) Redo: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Unify: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Call: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Unify: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Call: (43) [t_l] t_l:feedback_started('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _24484) Fail: (43) [t_l] t_l:feedback_started('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _25102) Redo: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Unify: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Call: (43) [system] current_prolog_flag(capture_feedback, true) Fail: (43) [system] current_prolog_flag(capture_feedback, true) Redo: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Unify: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Call: (43) [$syspreds] format('~N/*~~~n') Unify: (43) [$syspreds] format('~N/*~~~n') /*~ Exit: (43) [$syspreds] format('~N/*~~~n') ^ Call: (43) [echo_files] assert(t_l:feedback_started('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', current_output)) ^ Exit: (43) [echo_files] assert(t_l:feedback_started('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', current_output)) Exit: (42) [echo_files] echo_files:feedback_open('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Call: (42) [system] fail Fail: (42) [system] fail Fail: (41) [echo_files] echo_files:mco('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), 1286, 1352, _798) Fail: (40) [echo_files] echo_files:echo_catchup_f((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) ^ Redo: (39) [echo_files] echo_files:echo_catchup((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) Call: (40) [system] fail Fail: (40) [system] fail ^ Fail: (39) [echo_files] echo_files:echo_catchup((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) ^ Redo: (38) [echo_files] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [echo_files] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) ^ Redo: (38) [system] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [system] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Call: (39) [echo_files] echo_files:echo_catchup((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) ^ Unify: (39) [echo_files] echo_files:echo_catchup((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) Call: (40) [echo_files] echo_files:echo_catchup_f((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) Unify: (40) [echo_files] echo_files:echo_catchup_f((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) Fail: (40) [echo_files] echo_files:echo_catchup_f((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) ^ Redo: (39) [echo_files] echo_files:echo_catchup((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) Call: (40) [system] fail Fail: (40) [system] fail ^ Fail: (39) [echo_files] echo_files:echo_catchup((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798, _800) ^ Redo: (38) [echo_files] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [echo_files] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) Call: (39) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))\==end_of_file Exit: (39) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))\==end_of_file ^ Call: (39) [subclause_expansion] subclause_expansion:subclause_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798) ^ Unify: (39) [subclause_expansion] subclause_expansion:subclause_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798) Call: (40) [system] current_prolog_flag(xref, true) Fail: (40) [system] current_prolog_flag(xref, true) ^ Redo: (39) [subclause_expansion] subclause_expansion:subclause_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798) Call: (40) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) Exit: (40) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) Call: (40) [system] nonvar((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))) Exit: (40) [system] nonvar((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))) Call: (40) [system] nb_current('$term', _53972) Exit: (40) [system] nb_current('$term', (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))) Call: (40) [$syspreds] prolog_load_context(module, _55186) Unify: (40) [$syspreds] prolog_load_context(module, _55186) Exit: (40) [$syspreds] prolog_load_context(module, user) ^ Call: (40) [subclause_expansion] subclause_expansion:file_expansion(user, (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), _57006) ^ Unify: (40) [subclause_expansion] subclause_expansion:file_expansion(user, (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), (:-_57642)) Call: (41) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))==(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Exit: (41) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))==(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Call: (41) [subclause_expansion] subclause_expansion:call_expansion_from(user, directive_expansion, must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _57642) ^ Unify: (41) [subclause_expansion] subclause_expansion:call_expansion_from(user, directive_expansion, must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _57642) Call: (42) [system] functor(directive_expansion, _60756, _60758) Exit: (42) [system] functor(directive_expansion, directive_expansion, 0) Call: (42) [system] _61986 is 0+2 Exit: (42) [system] 2 is 0+2 ^ Call: (42) [subclause_expansion] subclause_expansion:call_expansions([], directive_expansion, [], must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _57642) ^ Unify: (42) [subclause_expansion] subclause_expansion:call_expansions([], directive_expansion, [], must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Exit: (42) [subclause_expansion] subclause_expansion:call_expansions([], directive_expansion, [], must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Exit: (41) [subclause_expansion] subclause_expansion:call_expansion_from(user, directive_expansion, must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Exit: (40) [subclause_expansion] subclause_expansion:file_expansion(user, (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))))) Call: (40) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))\=@=(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Fail: (40) [system] (:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))\=@=(:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Fail: (39) [subclause_expansion] subclause_expansion:subclause_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...]))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [...])])])]), _798) ^ Redo: (38) [subclause_expansion] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [subclause_expansion] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) Call: (39) [system] nonvar((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))) Exit: (39) [system] nonvar((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))) Call: (39) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) Exit: (39) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) Call: (39) [$syspreds] prolog_load_context(file, _71892) Unify: (39) [$syspreds] prolog_load_context(file, _71892) Exit: (39) [$syspreds] prolog_load_context(file, '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Call: (39) [system] source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _73718) Fail: (39) [system] source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', _73718) ^ Redo: (38) [file_scope] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [file_scope] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Redo: (38) [echo_files] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [echo_files] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) Call: (39) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) Exit: (39) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) ^ Call: (39) [common_logic_utils] common_logic_utils:grovel_kif_option((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))))) ^ Unify: (39) [common_logic_utils] common_logic_utils:grovel_kif_option((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))))) ^ Fail: (39) [common_logic_utils] common_logic_utils:grovel_kif_option((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))))) ^ Redo: (38) [common_logic_utils] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [common_logic_utils] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) Call: (39) [system] current_prolog_flag(do_renames, term_expansion) Fail: (39) [system] current_prolog_flag(do_renames, term_expansion) ^ Redo: (38) [logicmoo_i_cyc_rewriting] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) ^ Unify: (38) [logicmoo_i_cyc_rewriting] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), _798, _800) Call: (39) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) Exit: (39) [system] nonvar(term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) ^ Call: (39) [logicmoo_test] is_junit_test ^ Unify: (39) [logicmoo_test] is_junit_test ^ Exit: (39) [logicmoo_test] is_junit_test ^ Call: (39) [logicmoo_test] junit_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), _798) ^ Unify: (39) [logicmoo_test] junit_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), _798) ^ Unify: (39) [logicmoo_test] junit_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), _798) Call: (40) [j_u] j_u:junit_prop(testsuite, file, '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Unify: (40) [j_u] j_u:junit_prop(testsuite, file, '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') Exit: (40) [j_u] j_u:junit_prop(testsuite, file, '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc') ^ Unify: (39) [logicmoo_test] junit_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), _798) ^ Exit: (39) [logicmoo_test] junit_term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), (:-mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))))) Call: (39) [system] term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])=_800 Exit: (39) [system] term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])=term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]) ^ Exit: (38) [logicmoo_test] term_expansion((:-must(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])]), (:-mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))), term_position(1286, 1352, 1286, 1288, [term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(..., ..., ..., ..., ...)])])])])) ^ Call: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])])) ^ Call: (45) [user] attvar_serializer:system_expanded_attvars(user:goal, term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [...])])])]), mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Unify: (45) [user] attvar_serializer:system_expanded_attvars(user:goal, term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [...])])])]), mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Fail: (45) [user] attvar_serializer:system_expanded_attvars(user:goal, term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [...])])])]), mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Fail: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Call: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Unify: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), sicstus:sicstus_flag(_98816, _98818)) Call: (45) [system] nonvar(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Exit: (45) [system] nonvar(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Call: (45) [system] mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))=current_prolog_flag(_98816, _98818) Fail: (45) [system] mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))=current_prolog_flag(_98816, _98818) ^ Redo: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), sicstus:sicstus_flag(_98816, _98818)) Call: (45) [system] mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))=prolog_flag(_98816, _98818) Fail: (45) [system] mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))=prolog_flag(_98816, _98818) ^ Redo: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Unify: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) Call: (45) [$syspreds] prolog_load_context(dialect, lps) Unify: (45) [$syspreds] prolog_load_context(dialect, lps) Fail: (45) [$syspreds] prolog_load_context(dialect, lps) ^ Fail: (44) [user] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Call: (44) [system] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [system] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])])) ^ Redo: (44) [loop_check] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [loop_check] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])])) ^ Redo: (44) [ucatch] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [ucatch] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) Call: (45) [apply_macros] expand_apply(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) Unify: (45) [apply_macros] expand_apply(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) Fail: (45) [nl_pipeline] expand_apply(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Redo: (44) [apply_macros] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [apply_macros] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Redo: (44) [virtualize_source] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [virtualize_source] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) Call: (45) [system] nonvar(term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])])) Exit: (45) [system] nonvar(term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])])) ^ Call: (45) [common_logic_utils] common_logic_utils:grovel_kif_option(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Unify: (45) [common_logic_utils] common_logic_utils:grovel_kif_option(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Fail: (45) [common_logic_utils] common_logic_utils:grovel_kif_option(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Redo: (44) [common_logic_utils] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [common_logic_utils] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Redo: (44) [gvlib] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [gvlib] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Redo: (44) [logicmoo_test] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (44) [logicmoo_test] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Call: (45) [pfc_lib] pfc_goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Unify: (45) [pfc_lib] pfc_goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Fail: (45) [pfc_lib] pfc_goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Fail: (44) [pfc_lib] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), term_position(1289, 1352, 1289, 1293, [term_position(1294, 1351, 1294, 1311, [term_position(1312, 1350, 1312, 1318, [term_position(1319, 1349, 1319, 1323, [list_position(..., ..., ..., ...)])])])]), _94364, _94366) ^ Call: (44) [system] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Unify: (44) [system] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) Call: (45) [arithmetic] arithmetic:math_goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) Fail: (45) [arithmetic] arithmetic:math_goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Redo: (44) [arithmetic] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) ^ Unify: (44) [arithmetic] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _94364) Call: (45) [yall] yall:lambda_like(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Unify: (45) [yall] yall:lambda_like(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Call: (46) [system] compound_name_arity(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _129988, _129990) Exit: (46) [system] compound_name_arity(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), mpred_test, 1) Call: (46) [yall] yall:lambda_functor(mpred_test) Fail: (46) [yall] yall:lambda_functor(mpred_test) Fail: (45) [yall] yall:lambda_like(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Redo: (44) [yall] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) ^ Unify: (44) [yall] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) Call: (45) [system] current_prolog_flag(xref, true) Fail: (45) [system] current_prolog_flag(xref, true) ^ Redo: (44) [apply_macros] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) Call: (45) [apply_macros] expand_apply(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) Unify: (45) [apply_macros] expand_apply(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) Fail: (45) [nl_pipeline] expand_apply(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) ^ Redo: (44) [apply_macros] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) ^ Unify: (44) [apply_macros] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) Call: (45) [system] current_prolog_flag(clpfd_goal_expansion, false) Fail: (45) [system] current_prolog_flag(clpfd_goal_expansion, false) ^ Redo: (44) [clpfd] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) Call: (45) [clpfd] clpfd:clpfd_expandable(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Fail: (45) [clpfd] clpfd:clpfd_expandable(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Redo: (44) [clpfd] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) ^ Unify: (44) [clpfd] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) ^ Call: (45) [logicmoo_ocl] do_ss ^ Fail: (45) [logicmoo_ocl] do_ss ^ Fail: (44) [logicmoo_ocl] goal_expansion(mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))), _846) ^ Exit: (30) [system] setup_call_catcher_cleanup(system:'$open_source'('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x556703a44a00), close((0x556703a44a00), '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x5566f56f4070)), [], [expand(false), expand(true)]), system:'$term_in_file'((0x556703a44a00), (:-must(clause_asserted_i(sk2_in(avar([... = ...|...]))))), _298, (:-mpred_test(clause_asserted_i(sk2_in(avar([... = ...|...]))))), _294, (0x556703a44a00), ['/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc'], [expand(false), expand(true)]), _15636, system:'$close_source'(close((0x556703a44a00), '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_02.pfc', (0x5566f56f4070)), true)) ^ Call: (33) [user] mpred_test(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) ^ Unify: (33) [logicmoo_test] mpred_test(user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Call: (40) [$syspreds] update_flag(tests, _17538, _17538+1) Unify: (40) [$syspreds] update_flag(tests, _17538, _17538+1) Exit: (40) [$syspreds] update_flag(tests, 0, 0+1) Call: (40) [$syspreds] update_flag(test_number, _19384, _19384+1) Unify: (40) [$syspreds] update_flag(test_number, _19384, _19384+1) Exit: (40) [$syspreds] update_flag(test_number, 1, 1+1) ^ Call: (38) [logicmoo_test] backward_compatibility:sformat(_21236, 'Test_~4d_Line_~4d', [2, 0]) ^ Unify: (38) [logicmoo_test] backward_compatibility:sformat(_21236, 'Test_~4d_Line_~4d', [2, 0]) ^ Call: (39) [logicmoo_test] format(string(_21236), 'Test_~4d_Line_~4d', [2, 0]) ^ Exit: (39) [logicmoo_test] format(string("Test_0.0002_Line_0.0000"), 'Test_~4d_Line_~4d', [2, 0]) ^ Exit: (38) [logicmoo_test] backward_compatibility:sformat("Test_0.0002_Line_0.0000", 'Test_~4d_Line_~4d', [2, 0]) ^ Call: (38) [logicmoo_test] logicmoo_util_strings:replace_in_string(['_0.'='_'], "Test_0.0002_Line_0.0000", _21230) ^ Unify: (38) [logicmoo_test] logicmoo_util_strings:replace_in_string(['_0.'='_'], "Test_0.0002_Line_0.0000", _21230) Call: (39) [system] arg(1, '_0.'='_', _25662) Exit: (39) [system] arg(1, '_0.'='_', '_0.') Call: (39) [system] arg(2, '_0.'='_', _26884) Exit: (39) [system] arg(2, '_0.'='_', '_') ^ Call: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string('_0.', '_', "Test_0.0002_Line_0.0000", _28106) ^ Unify: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string('_0.', '_', "Test_0.0002_Line_0.0000", _28106) ^ Unify: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string('_0.', '_', "Test_0.0002_Line_0.0000", _28106) Call: (40) [system] atomic_list_concat(_30004, '_0.', "Test_0.0002_Line_0.0000") Exit: (40) [system] atomic_list_concat(['Test', '0002_Line', '0000'], '_0.', "Test_0.0002_Line_0.0000") Call: (40) [system] atomics_to_string(['Test', '0002_Line', '0000'], '_', _28106) Exit: (40) [system] atomics_to_string(['Test', '0002_Line', '0000'], '_', "Test_0002_Line_0000") ^ Exit: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string('_0.', '_', "Test_0.0002_Line_0.0000", "Test_0002_Line_0000") ^ Call: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string([], "Test_0002_Line_0000", _21230) ^ Unify: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string([], "Test_0002_Line_0000", "Test_0002_Line_0000") ^ Exit: (39) [logicmoo_test] logicmoo_util_strings:replace_in_string([], "Test_0002_Line_0000", "Test_0002_Line_0000") ^ Exit: (38) [logicmoo_test] logicmoo_util_strings:replace_in_string(['_0.'='_'], "Test_0.0002_Line_0.0000", "Test_0002_Line_0000") Call: (40) [occurs] occurs:sub_term(_35622, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Unify: (40) [occurs] occurs:sub_term(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Exit: (40) [occurs] occurs:sub_term(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (40) [occurs] occurs:sub_term(_35622, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Unify: (40) [occurs] occurs:sub_term(_35622, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Call: (41) [system] arg(_38772, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), _38714) Exit: (41) [system] arg(1, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Call: (41) [occurs] occurs:sub_term(_35622, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Unify: (41) [occurs] occurs:sub_term(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (41) [occurs] occurs:sub_term(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (41) [occurs] occurs:sub_term(_35622, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Unify: (41) [occurs] occurs:sub_term(_35622, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Call: (42) [system] arg(_43702, sk2_in(avar([vn='Ex', sk2='SKF-6667'])), _43644) Exit: (42) [system] arg(1, sk2_in(avar([vn='Ex', sk2='SKF-6667'])), avar([vn='Ex', sk2='SKF-6667'])) Call: (42) [occurs] occurs:sub_term(_35622, avar([vn='Ex', sk2='SKF-6667'])) Unify: (42) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), avar([vn='Ex', sk2='SKF-6667'])) Exit: (42) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (42) [occurs] occurs:sub_term(_35622, avar([vn='Ex', sk2='SKF-6667'])) Unify: (42) [occurs] occurs:sub_term(_35622, avar([vn='Ex', sk2='SKF-6667'])) Call: (43) [system] arg(_49250, avar([vn='Ex', sk2='SKF-6667']), _49192) Exit: (43) [system] arg(1, avar([vn='Ex', sk2='SKF-6667']), [vn='Ex', sk2='SKF-6667']) Call: (43) [occurs] occurs:sub_term(_35622, [vn='Ex', sk2='SKF-6667']) Unify: (43) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], [vn='Ex', sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (43) [occurs] occurs:sub_term(_35622, [vn='Ex', sk2='SKF-6667']) Unify: (43) [occurs] occurs:sub_term(_35622, [vn='Ex', sk2='SKF-6667']) Call: (44) [system] arg(_55416, [vn='Ex', sk2='SKF-6667'], _55358) Exit: (44) [system] arg(1, [vn='Ex', sk2='SKF-6667'], vn='Ex') Call: (44) [occurs] occurs:sub_term(_35622, vn='Ex') Unify: (44) [occurs] occurs:sub_term(vn='Ex', vn='Ex') Exit: (44) [occurs] occurs:sub_term(vn='Ex', vn='Ex') Exit: (43) [occurs] occurs:sub_term(vn='Ex', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(vn='Ex', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(vn='Ex', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(vn='Ex', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (44) [occurs] occurs:sub_term(_35622, vn='Ex') Unify: (44) [occurs] occurs:sub_term(_35622, vn='Ex') Call: (45) [system] arg(_62200, vn='Ex', _62142) Exit: (45) [system] arg(1, vn='Ex', vn) Call: (45) [occurs] occurs:sub_term(_35622, vn) Unify: (45) [occurs] occurs:sub_term(vn, vn) Exit: (45) [occurs] occurs:sub_term(vn, vn) Exit: (44) [occurs] occurs:sub_term(vn, vn='Ex') Exit: (43) [occurs] occurs:sub_term(vn, [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(vn, avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(vn, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(vn, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_35622, vn) Unify: (45) [occurs] occurs:sub_term(_35622, vn) Fail: (45) [occurs] occurs:sub_term(_35622, vn) Redo: (45) [system] arg(_70218, vn='Ex', _62142) Exit: (45) [system] arg(2, vn='Ex', 'Ex') Call: (45) [occurs] occurs:sub_term(_35622, 'Ex') Unify: (45) [occurs] occurs:sub_term('Ex', 'Ex') Exit: (45) [occurs] occurs:sub_term('Ex', 'Ex') Exit: (44) [occurs] occurs:sub_term('Ex', vn='Ex') Exit: (43) [occurs] occurs:sub_term('Ex', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term('Ex', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term('Ex', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term('Ex', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_35622, 'Ex') Unify: (45) [occurs] occurs:sub_term(_35622, 'Ex') Fail: (45) [occurs] occurs:sub_term(_35622, 'Ex') Fail: (44) [occurs] occurs:sub_term(_35622, vn='Ex') Redo: (44) [system] arg(_78854, [vn='Ex', sk2='SKF-6667'], _55358) Exit: (44) [system] arg(2, [vn='Ex', sk2='SKF-6667'], [sk2='SKF-6667']) Call: (44) [occurs] occurs:sub_term(_35622, [sk2='SKF-6667']) Unify: (44) [occurs] occurs:sub_term([sk2='SKF-6667'], [sk2='SKF-6667']) Exit: (44) [occurs] occurs:sub_term([sk2='SKF-6667'], [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term([sk2='SKF-6667'], [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term([sk2='SKF-6667'], avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term([sk2='SKF-6667'], sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term([sk2='SKF-6667'], clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (44) [occurs] occurs:sub_term(_35622, [sk2='SKF-6667']) Unify: (44) [occurs] occurs:sub_term(_35622, [sk2='SKF-6667']) Call: (45) [system] arg(_85638, [sk2='SKF-6667'], _85580) Exit: (45) [system] arg(1, [sk2='SKF-6667'], sk2='SKF-6667') Call: (45) [occurs] occurs:sub_term(_35622, sk2='SKF-6667') Unify: (45) [occurs] occurs:sub_term(sk2='SKF-6667', sk2='SKF-6667') Exit: (45) [occurs] occurs:sub_term(sk2='SKF-6667', sk2='SKF-6667') Exit: (44) [occurs] occurs:sub_term(sk2='SKF-6667', [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term(sk2='SKF-6667', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(sk2='SKF-6667', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(sk2='SKF-6667', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(sk2='SKF-6667', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_35622, sk2='SKF-6667') Unify: (45) [occurs] occurs:sub_term(_35622, sk2='SKF-6667') Call: (46) [system] arg(_93040, sk2='SKF-6667', _92982) Exit: (46) [system] arg(1, sk2='SKF-6667', sk2) Call: (46) [occurs] occurs:sub_term(_35622, sk2) Unify: (46) [occurs] occurs:sub_term(sk2, sk2) Exit: (46) [occurs] occurs:sub_term(sk2, sk2) Exit: (45) [occurs] occurs:sub_term(sk2, sk2='SKF-6667') Exit: (44) [occurs] occurs:sub_term(sk2, [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term(sk2, [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(sk2, avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(sk2, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(sk2, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (46) [occurs] occurs:sub_term(_35622, sk2) Unify: (46) [occurs] occurs:sub_term(_35622, sk2) Fail: (46) [occurs] occurs:sub_term(_35622, sk2) Redo: (46) [system] arg(_101676, sk2='SKF-6667', _92982) Exit: (46) [system] arg(2, sk2='SKF-6667', 'SKF-6667') Call: (46) [occurs] occurs:sub_term(_35622, 'SKF-6667') Unify: (46) [occurs] occurs:sub_term('SKF-6667', 'SKF-6667') Exit: (46) [occurs] occurs:sub_term('SKF-6667', 'SKF-6667') Exit: (45) [occurs] occurs:sub_term('SKF-6667', sk2='SKF-6667') Exit: (44) [occurs] occurs:sub_term('SKF-6667', [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term('SKF-6667', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term('SKF-6667', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term('SKF-6667', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term('SKF-6667', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (46) [occurs] occurs:sub_term(_35622, 'SKF-6667') Unify: (46) [occurs] occurs:sub_term(_35622, 'SKF-6667') Fail: (46) [occurs] occurs:sub_term(_35622, 'SKF-6667') Fail: (45) [occurs] occurs:sub_term(_35622, sk2='SKF-6667') Redo: (45) [system] arg(_110930, [sk2='SKF-6667'], _85580) Exit: (45) [system] arg(2, [sk2='SKF-6667'], []) Call: (45) [occurs] occurs:sub_term(_35622, []) Unify: (45) [occurs] occurs:sub_term([], []) Exit: (45) [occurs] occurs:sub_term([], []) Exit: (44) [occurs] occurs:sub_term([], [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term([], [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term([], avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term([], sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term([], clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_35622, []) Unify: (45) [occurs] occurs:sub_term(_35622, []) Fail: (45) [occurs] occurs:sub_term(_35622, []) Fail: (44) [occurs] occurs:sub_term(_35622, [sk2='SKF-6667']) Fail: (43) [occurs] occurs:sub_term(_35622, [vn='Ex', sk2='SKF-6667']) Fail: (42) [occurs] occurs:sub_term(_35622, avar([vn='Ex', sk2='SKF-6667'])) Fail: (41) [occurs] occurs:sub_term(_35622, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Fail: (40) [occurs] occurs:sub_term(_35622, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Call: (40) [occurs] occurs:sub_term(_121982, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Unify: (40) [occurs] occurs:sub_term(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Exit: (40) [occurs] occurs:sub_term(clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (40) [occurs] occurs:sub_term(_121982, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Unify: (40) [occurs] occurs:sub_term(_121982, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Call: (41) [system] arg(_125132, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), _125074) Exit: (41) [system] arg(1, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Call: (41) [occurs] occurs:sub_term(_121982, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Unify: (41) [occurs] occurs:sub_term(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (41) [occurs] occurs:sub_term(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (41) [occurs] occurs:sub_term(_121982, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Unify: (41) [occurs] occurs:sub_term(_121982, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Call: (42) [system] arg(_130062, sk2_in(avar([vn='Ex', sk2='SKF-6667'])), _130004) Exit: (42) [system] arg(1, sk2_in(avar([vn='Ex', sk2='SKF-6667'])), avar([vn='Ex', sk2='SKF-6667'])) Call: (42) [occurs] occurs:sub_term(_568, avar([vn='Ex', sk2='SKF-6667'])) Unify: (42) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), avar([vn='Ex', sk2='SKF-6667'])) Exit: (42) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(avar([vn='Ex', sk2='SKF-6667']), clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (42) [occurs] occurs:sub_term(_568, avar([vn='Ex', sk2='SKF-6667'])) Unify: (42) [occurs] occurs:sub_term(_568, avar([vn='Ex', sk2='SKF-6667'])) Call: (43) [system] arg(_5424, avar([vn='Ex', sk2='SKF-6667']), _5366) Exit: (43) [system] arg(1, avar([vn='Ex', sk2='SKF-6667']), [vn='Ex', sk2='SKF-6667']) Call: (43) [occurs] occurs:sub_term(_568, [vn='Ex', sk2='SKF-6667']) Unify: (43) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], [vn='Ex', sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term([vn='Ex', sk2='SKF-6667'], clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (43) [occurs] occurs:sub_term(_568, [vn='Ex', sk2='SKF-6667']) Unify: (43) [occurs] occurs:sub_term(_568, [vn='Ex', sk2='SKF-6667']) Call: (44) [system] arg(_11590, [vn='Ex', sk2='SKF-6667'], _11532) Exit: (44) [system] arg(1, [vn='Ex', sk2='SKF-6667'], vn='Ex') Call: (44) [occurs] occurs:sub_term(_568, vn='Ex') Unify: (44) [occurs] occurs:sub_term(vn='Ex', vn='Ex') Exit: (44) [occurs] occurs:sub_term(vn='Ex', vn='Ex') Exit: (43) [occurs] occurs:sub_term(vn='Ex', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(vn='Ex', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(vn='Ex', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(vn='Ex', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (44) [occurs] occurs:sub_term(_568, vn='Ex') Unify: (44) [occurs] occurs:sub_term(_568, vn='Ex') Call: (45) [system] arg(_18374, vn='Ex', _18316) Exit: (45) [system] arg(1, vn='Ex', vn) Call: (45) [occurs] occurs:sub_term(_568, vn) Unify: (45) [occurs] occurs:sub_term(vn, vn) Exit: (45) [occurs] occurs:sub_term(vn, vn) Exit: (44) [occurs] occurs:sub_term(vn, vn='Ex') Exit: (43) [occurs] occurs:sub_term(vn, [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(vn, avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(vn, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(vn, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_568, vn) Unify: (45) [occurs] occurs:sub_term(_568, vn) Fail: (45) [occurs] occurs:sub_term(_568, vn) Redo: (45) [system] arg(_26392, vn='Ex', _18316) Exit: (45) [system] arg(2, vn='Ex', 'Ex') Call: (45) [occurs] occurs:sub_term(_568, 'Ex') Unify: (45) [occurs] occurs:sub_term('Ex', 'Ex') Exit: (45) [occurs] occurs:sub_term('Ex', 'Ex') Exit: (44) [occurs] occurs:sub_term('Ex', vn='Ex') Exit: (43) [occurs] occurs:sub_term('Ex', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term('Ex', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term('Ex', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term('Ex', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_568, 'Ex') Unify: (45) [occurs] occurs:sub_term(_568, 'Ex') Fail: (45) [occurs] occurs:sub_term(_568, 'Ex') Fail: (44) [occurs] occurs:sub_term(_568, vn='Ex') Redo: (44) [system] arg(_35028, [vn='Ex', sk2='SKF-6667'], _11532) Exit: (44) [system] arg(2, [vn='Ex', sk2='SKF-6667'], [sk2='SKF-6667']) Call: (44) [occurs] occurs:sub_term(_568, [sk2='SKF-6667']) Unify: (44) [occurs] occurs:sub_term([sk2='SKF-6667'], [sk2='SKF-6667']) Exit: (44) [occurs] occurs:sub_term([sk2='SKF-6667'], [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term([sk2='SKF-6667'], [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term([sk2='SKF-6667'], avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term([sk2='SKF-6667'], sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term([sk2='SKF-6667'], clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (44) [occurs] occurs:sub_term(_568, [sk2='SKF-6667']) Unify: (44) [occurs] occurs:sub_term(_568, [sk2='SKF-6667']) Call: (45) [system] arg(_41812, [sk2='SKF-6667'], _41754) Exit: (45) [system] arg(1, [sk2='SKF-6667'], sk2='SKF-6667') Call: (45) [occurs] occurs:sub_term(_568, sk2='SKF-6667') Unify: (45) [occurs] occurs:sub_term(sk2='SKF-6667', sk2='SKF-6667') Exit: (45) [occurs] occurs:sub_term(sk2='SKF-6667', sk2='SKF-6667') Exit: (44) [occurs] occurs:sub_term(sk2='SKF-6667', [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term(sk2='SKF-6667', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(sk2='SKF-6667', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(sk2='SKF-6667', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(sk2='SKF-6667', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (45) [occurs] occurs:sub_term(_568, sk2='SKF-6667') Unify: (45) [occurs] occurs:sub_term(_568, sk2='SKF-6667') Call: (46) [system] arg(_49214, sk2='SKF-6667', _49156) Exit: (46) [system] arg(1, sk2='SKF-6667', sk2) Call: (46) [occurs] occurs:sub_term(_568, sk2) Unify: (46) [occurs] occurs:sub_term(sk2, sk2) Exit: (46) [occurs] occurs:sub_term(sk2, sk2) Exit: (45) [occurs] occurs:sub_term(sk2, sk2='SKF-6667') Exit: (44) [occurs] occurs:sub_term(sk2, [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term(sk2, [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term(sk2, avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term(sk2, sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term(sk2, clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (46) [occurs] occurs:sub_term(_568, sk2) Unify: (46) [occurs] occurs:sub_term(_568, sk2) Fail: (46) [occurs] occurs:sub_term(_568, sk2) Redo: (46) [system] arg(_57850, sk2='SKF-6667', _49156) Exit: (46) [system] arg(2, sk2='SKF-6667', 'SKF-6667') Call: (46) [occurs] occurs:sub_term(_568, 'SKF-6667') Unify: (46) [occurs] occurs:sub_term('SKF-6667', 'SKF-6667') Exit: (46) [occurs] occurs:sub_term('SKF-6667', 'SKF-6667') Exit: (45) [occurs] occurs:sub_term('SKF-6667', sk2='SKF-6667') Exit: (44) [occurs] occurs:sub_term('SKF-6667', [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term('SKF-6667', [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term('SKF-6667', avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term('SKF-6667', sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term('SKF-6667', clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Redo: (46) [occurs] occurs:sub_term(_568, 'SKF-6667') Unify: (46) [occurs] occurs:sub_term(_568, 'SKF-6667') Fail: (46) [occurs] occurs:sub_term(_568, 'SKF-6667') Fail: (45) [occurs] occurs:sub_term(_568, sk2='SKF-6667') Redo: (45) [system] arg(_67104, [sk2='SKF-6667'], _41754) Exit: (45) [system] arg(2, [sk2='SKF-6667'], []) Call: (45) [occurs] occurs:sub_term(_568, []) Unify: (45) [occurs] occurs:sub_term([], []) Exit: (45) [occurs] occurs:sub_term([], []) Exit: (44) [occurs] occurs:sub_term([], [sk2='SKF-6667']) Exit: (43) [occurs] occurs:sub_term([], [vn='Ex', sk2='SKF-6667']) Exit: (42) [occurs] occurs:sub_term([], avar([vn='Ex', sk2='SKF-6667'])) Exit: (41) [occurs] occurs:sub_term([], sk2_in(avar([vn='Ex', sk2='SKF-6667']))) Exit: (40) [occurs] occurs:sub_term([], clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) ^ Call: (41) [logicmoo_test] ucatch:ensure_compute_file_link('', _73212) ^ Unify: (41) [logicmoo_test] ucatch:ensure_compute_file_link('', _73212) Call: (42) [system] nb_current('$inprint_message', _74462) Fail: (42) [system] nb_current('$inprint_message', _74462) ^ Redo: (41) [logicmoo_test] ucatch:ensure_compute_file_link('', _73212) ^ Call: (42) [logicmoo_test] ucatch:maybe_compute_file_link('', _73212) ^ Unify: (42) [logicmoo_test] ucatch:maybe_compute_file_link('', _73212) Call: (43) [lmconf] lmconf:http_file_stem(_77548, _77550) Unify: (43) [lmconf] lmconf:http_file_stem('lib/swipl', "https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/tree/master/docker/rootfs/usr/local/lib/swipl") Exit: (43) [lmconf] lmconf:http_file_stem('lib/swipl', "https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/tree/master/docker/rootfs/usr/local/lib/swipl") Call: (43) [system] atomic_list_concat([_79440, _79446], 'lib/swipl', '') Fail: (43) [system] atomic_list_concat([_79440, _79446], 'lib/swipl', '') Redo: (43) [lmconf] lmconf:http_file_stem(_77548, _77550) Unify: (43) [lmconf] lmconf:http_file_stem('swi-prolog/pack', "https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys") Exit: (43) [lmconf] lmconf:http_file_stem('swi-prolog/pack', "https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys") Call: (43) [system] atomic_list_concat([_82552, _82558], 'swi-prolog/pack', '') Fail: (43) [system] atomic_list_concat([_82552, _82558], 'swi-prolog/pack', '') Redo: (43) [lmconf] lmconf:http_file_stem(_77548, _77550) Unify: (43) [lmconf] lmconf:http_file_stem(logicmoo_workspace, "https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master") Exit: (43) [lmconf] lmconf:http_file_stem(logicmoo_workspace, "https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master") Call: (43) [system] atomic_list_concat([_85662, _85668], logicmoo_workspace, '') Fail: (43) [system] atomic_list_concat([_85662, _85668], logicmoo_workspace, '') Redo: (43) [lmconf] lmconf:http_file_stem(_77548, _77550) Unify: (43) [lmconf] lmconf:http_file_stem(~, "https://logicmoo.org:2082/gitlab/logicmoo/prologmud_server/-/tree/master") Exit: (43) [lmconf] lmconf:http_file_stem(~, "https://logicmoo.org:2082/gitlab/logicmoo/prologmud_server/-/tree/master") Call: (43) [system] atomic_list_concat([_88772, _88778], ~, '') Fail: (43) [system] atomic_list_concat([_88772, _88778], ~, '') ^ Fail: (42) [logicmoo_test] ucatch:maybe_compute_file_link('', _73212) ^ Redo: (41) [logicmoo_test] ucatch:ensure_compute_file_link('', _73212) ^ Unify: (41) [logicmoo_test] ucatch:ensure_compute_file_link('', '') ^ Exit: (41) [logicmoo_test] ucatch:ensure_compute_file_link('', '') ^ Call: (41) [logicmoo_test] logicmoo_util_strings:replace_in_string([ [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string(['https://logicmoo.org:2082/gitlab/logicmoo/'="",'-/blob/'='',(/)='_','_master_packs_'='_'],'',_612),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Unify: (41) [logicmoo_test] logicmoo_util_strings:replace_in_string([ [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string(['https://logicmoo.org:2082/gitlab/logicmoo/'="",'-/blob/'='',(/)='_','_master_packs_'='_'],'',_612),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Call: (42) [system] arg(1, [[ EXCEPTION while printing message '~W' with arguments [arg(1,'https://logicmoo.org:2082/gitlab/logicmoo/'="",_1812),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Exit: (42) [system] arg(1, [[ EXCEPTION while printing message '~W' with arguments [arg(1,'https://logicmoo.org:2082/gitlab/logicmoo/'="",'https://logicmoo.org:2082/gitlab/logicmoo/'),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Call: (42) [system] arg(2, [[ EXCEPTION while printing message '~W' with arguments [arg(2,'https://logicmoo.org:2082/gitlab/logicmoo/'="",_3310),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Exit: (42) [system] arg(2, [[ EXCEPTION while printing message '~W' with arguments [arg(2,'https://logicmoo.org:2082/gitlab/logicmoo/'="",""),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Call: (42) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"",'',_4808),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Unify: (42) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"",'',_4808),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Call: (43) [system] atom_string('', _6350) Exit: (43) [system] atom_string('', "") ^ Call: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"","",_7570),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Unify: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"","",_7570),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Unify: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"","",_7570),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Call: (44) [system] atomic_list_concat(_9882, [[ EXCEPTION while printing message '~W' with arguments [atomic_list_concat(_9882,'https://logicmoo.org:2082/gitlab/logicmoo/',""),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Exit: (44) [system] atomic_list_concat([''], [[ EXCEPTION while printing message '~W' with arguments [atomic_list_concat([''],'https://logicmoo.org:2082/gitlab/logicmoo/',""),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Call: (44) [system] atomics_to_string([''], "", _7570) Exit: (44) [system] atomics_to_string([''], "", "") ^ Exit: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"","",""),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] Call: (43) [system] atom_string(_616, "") Exit: (43) [system] atom_string('', "") ^ Exit: (42) [logicmoo_test] logicmoo_util_strings:replace_in_string( [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string('https://logicmoo.org:2082/gitlab/logicmoo/',"",'',''),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Call: (42) [logicmoo_test] logicmoo_util_strings:replace_in_string(['-/blob/'='', (/)='_', '_master_packs_'='_'], '', _610) ^ Unify: (42) [logicmoo_test] logicmoo_util_strings:replace_in_string(['-/blob/'='', (/)='_', '_master_packs_'='_'], '', _610) Call: (43) [system] arg(1, '-/blob/'='', _4274) Exit: (43) [system] arg(1, '-/blob/'='', '-/blob/') Call: (43) [system] arg(2, '-/blob/'='', _5496) Exit: (43) [system] arg(2, '-/blob/'='', '') ^ Call: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', '', _6718) ^ Unify: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', '', _6718) Call: (44) [system] atom_string('', _7984) Exit: (44) [system] atom_string('', "") ^ Call: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', "", _9204) ^ Unify: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', "", _9204) ^ Unify: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', "", _9204) Call: (45) [system] atomic_list_concat(_11102, '-/blob/', "") Exit: (45) [system] atomic_list_concat([''], '-/blob/', "") Call: (45) [system] atomics_to_string([''], '', _9204) Exit: (45) [system] atomics_to_string([''], '', "") ^ Exit: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', "", "") Call: (44) [system] atom_string(_6718, "") Exit: (44) [system] atom_string('', "") ^ Exit: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string('-/blob/', '', '', '') ^ Call: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string([(/)='_', '_master_packs_'='_'], '', _610) ^ Unify: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string([(/)='_', '_master_packs_'='_'], '', _610) Call: (44) [system] arg(1, (/)='_', _17288) Exit: (44) [system] arg(1, (/)='_', /) Call: (44) [system] arg(2, (/)='_', _18510) Exit: (44) [system] arg(2, (/)='_', '_') ^ Call: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', '', _19732) ^ Unify: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', '', _19732) Call: (45) [system] atom_string('', _20998) Exit: (45) [system] atom_string('', "") ^ Call: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', "", _22218) ^ Unify: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', "", _22218) ^ Unify: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', "", _22218) Call: (46) [system] atomic_list_concat(_24116, /, "") Exit: (46) [system] atomic_list_concat([''], /, "") Call: (46) [system] atomics_to_string([''], '_', _22218) Exit: (46) [system] atomics_to_string([''], '_', "") ^ Exit: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', "", "") Call: (45) [system] atom_string(_19732, "") Exit: (45) [system] atom_string('', "") ^ Exit: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string(/, '_', '', '') ^ Call: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string(['_master_packs_'='_'], '', _610) ^ Unify: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string(['_master_packs_'='_'], '', _610) Call: (45) [system] arg(1, '_master_packs_'='_', _30302) Exit: (45) [system] arg(1, '_master_packs_'='_', '_master_packs_') Call: (45) [system] arg(2, '_master_packs_'='_', _31524) Exit: (45) [system] arg(2, '_master_packs_'='_', '_') ^ Call: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', '', _32746) ^ Unify: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', '', _32746) Call: (46) [system] atom_string('', _34012) Exit: (46) [system] atom_string('', "") ^ Call: (46) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', "", _35232) ^ Unify: (46) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', "", _35232) ^ Unify: (46) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', "", _35232) Call: (47) [system] atomic_list_concat(_37130, '_master_packs_', "") Exit: (47) [system] atomic_list_concat([''], '_master_packs_', "") Call: (47) [system] atomics_to_string([''], '_', _35232) Exit: (47) [system] atomics_to_string([''], '_', "") ^ Exit: (46) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', "", "") Call: (46) [system] atom_string(_32746, "") Exit: (46) [system] atom_string('', "") ^ Exit: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string('_master_packs_', '_', '', '') ^ Call: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string([], '', _610) ^ Unify: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string([], '', '') ^ Exit: (45) [logicmoo_test] logicmoo_util_strings:replace_in_string([], '', '') ^ Exit: (44) [logicmoo_test] logicmoo_util_strings:replace_in_string(['_master_packs_'='_'], '', '') ^ Exit: (43) [logicmoo_test] logicmoo_util_strings:replace_in_string([(/)='_', '_master_packs_'='_'], '', '') ^ Exit: (42) [logicmoo_test] logicmoo_util_strings:replace_in_string(['-/blob/'='', (/)='_', '_master_packs_'='_'], '', '') ^ Exit: (41) [logicmoo_test] logicmoo_util_strings:replace_in_string([ [[ EXCEPTION while printing message '~W' with arguments [logicmoo_util_strings:replace_in_string(['https://logicmoo.org:2082/gitlab/logicmoo/'="",'-/blob/'='',(/)='_','_master_packs_'='_'],'',''),[quoted(true),portray(true),max_depth(10),attributes(portray),spacing(next_argument)]]: raised: existence_error(iri_scheme,https) ]] ^ Call: (41) [logicmoo_test] portray_vars:p_n_atom_filter_var_chars('', _1052) ^ Unify: (41) [logicmoo_test] portray_vars:p_n_atom_filter_var_chars('', _1052) Call: (42) [system] name('', _2302) Exit: (42) [system] name('', []) ^ Call: (42) [logicmoo_test] portray_vars:filter_var_chars([], [_3518|_3520]) ^ Unify: (42) [logicmoo_test] portray_vars:filter_var_chars([], [_3518|_3520]) ^ Call: (43) [logicmoo_test] portray_vars:filter_var_chars_trim_95([], [_3518|_3520]) ^ Unify: (43) [logicmoo_test] portray_vars:filter_var_chars_trim_95([], [_3518|_3520]) ^ Call: (44) [logicmoo_test] portray_vars:filter_var_chars0([], _6018) ^ Unify: (44) [logicmoo_test] portray_vars:filter_var_chars0([], []) ^ Exit: (44) [logicmoo_test] portray_vars:filter_var_chars0([], []) ^ Call: (44) [logicmoo_test] portray_vars:trim_95([], [_3518|_3520]) ^ Unify: (44) [logicmoo_test] portray_vars:trim_95([], [_3518|_3520]) ^ Call: (45) [logicmoo_test] portray_vars:trim_96([], [_3518|_3520]) ^ Fail: (45) [logicmoo_test] portray_vars:trim_96([], [_3518|_3520]) ^ Fail: (44) [logicmoo_test] portray_vars:trim_95([], [_3518|_3520]) ^ Fail: (43) [logicmoo_test] portray_vars:filter_var_chars_trim_95([], [_3518|_3520]) ^ Fail: (42) [logicmoo_test] portray_vars:filter_var_chars([], [_3518|_3520]) ^ Fail: (41) [logicmoo_test] portray_vars:p_n_atom_filter_var_chars('', _1052) Call: (37) [j_u] j_u:junit_prop(testsuite, testcase, _12884) Unify: (37) [j_u] j_u:junit_prop(testsuite, testcase, 'logicmoo.pfc.test.sanity_base.ATTVAR_02 JUnit') Exit: (37) [j_u] j_u:junit_prop(testsuite, testcase, 'logicmoo.pfc.test.sanity_base.ATTVAR_02 JUnit') Redo: (37) [j_u] j_u:junit_prop(testsuite, testcase, _12884) Unify: (37) [j_u] j_u:junit_prop(testsuite, testcase, "Test_0001_Line_0000__sk2_in_1_in_user") Exit: (37) [j_u] j_u:junit_prop(testsuite, testcase, "Test_0001_Line_0000__sk2_in_1_in_user") ^ Call: (39) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Unify: (39) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Exit: (39) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Call: (40) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Unify: (40) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Exit: (40) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Call: (40) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Unify: (40) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Exit: (40) [must_sanity] must_sanity:mquietly_if(false, rtrace:tAt_rtrace) ^ Call: (40) [locally_each] locally_each:clause_true(t_l, t_l:mpred_current_testcase(_538)) ^ Unify: (40) [locally_each] locally_each:clause_true(t_l, t_l:mpred_current_testcase(_538)) Call: (41) [system] copy_term(t_l:mpred_current_testcase(_538), _25446) Exit: (41) [system] copy_term(t_l:mpred_current_testcase(_538), t_l:mpred_current_testcase(_26064)) ^ Call: (41) [t_l] clause(t_l:mpred_current_testcase(_538), true) ^ Fail: (41) [t_l] clause(mpred_current_testcase(_538), true) ^ Fail: (40) [locally_each] locally_each:clause_true(t_l, t_l:mpred_current_testcase(_538)) ^ Call: (46) [locally_each] locally_each:key_asserta(t_l, t_l:mpred_current_testcase(_538)) ^ Unify: (46) [locally_each] locally_each:key_asserta(t_l, t_l:mpred_current_testcase(_538)) ^ Call: (47) [t_l] asserta(t_l:mpred_current_testcase(_538), _29910) ^ Exit: (47) [t_l] asserta(t_l:mpred_current_testcase(_538), (0x5566f60ca0f0)) Call: (47) [system] nb_current('$w_tl_e', _31148) Exit: (47) [system] nb_current('$w_tl_e', []) Call: (47) [system] nb_linkval('$w_tl_e', [(0x5566f60ca0f0)]) Exit: (47) [system] nb_linkval('$w_tl_e', [(0x5566f60ca0f0)]) ^ Exit: (46) [locally_each] locally_each:key_asserta(t_l, t_l:mpred_current_testcase(_538)) ^ Call: (45) [logicmoo_test] must_det_l((wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) ^ Unify: (45) [ucatch] must_det_l(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(_16848))) ^ Call: (47) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (47) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (48) [ucatch] strip_module(ucatch:must_det_u, _36812, _36752) ^ Exit: (48) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (48) [system] var(must_det_u) Fail: (48) [system] var(must_det_u) ^ Fail: (47) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (47) [ucatch] ucatch:is_call_var(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(...))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar(...)))), ignore((source_location(_16718, _16720), atom(...), ..., ...)), get_time(_16848))) ^ Unify: (47) [ucatch] ucatch:is_call_var(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(...))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar(...)))), ignore((source_location(_16718, _16720), atom(...), ..., ...)), get_time(_16848))) ^ Call: (48) [ucatch] strip_module(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(_16848)), _41122, _41062) ^ Exit: (48) [ucatch] strip_module(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(_16848)), logicmoo_test, (wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) Call: (48) [system] var((wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) Fail: (48) [system] var((wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) ^ Fail: (47) [ucatch] ucatch:is_call_var(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(...))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar(...)))), ignore((source_location(_16718, _16720), atom(...), ..., ...)), get_time(_16848))) ^ Call: (48) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (48) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (49) [ucatch] strip_module(ucatch:must_det_u, _45438, _45378) ^ Exit: (49) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (49) [system] var(must_det_u) Fail: (49) [system] var(must_det_u) ^ Fail: (48) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (48) [ucatch] ucatch:is_call_var(logicmoo_test:wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...))))))) ^ Unify: (48) [ucatch] ucatch:is_call_var(logicmoo_test:wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...))))))) ^ Call: (49) [ucatch] strip_module(logicmoo_test:wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), _49748, _49688) ^ Exit: (49) [ucatch] strip_module(logicmoo_test:wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), logicmoo_test, wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([... = ...|...]))))))) Call: (49) [system] var(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([... = ...|...]))))))) Fail: (49) [system] var(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([... = ...|...]))))))) ^ Fail: (48) [ucatch] ucatch:is_call_var(logicmoo_test:wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...))))))) ^ Call: (52) [logicmoo_test] dmsg:likely_folded(wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))))) ^ Unify: (52) [logicmoo_test] dmsg:likely_folded(wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))))) ^ Call: (53) [logicmoo_test] dmsg:dis_pp(bfly) ^ Unify: (53) [logicmoo_test] dmsg:dis_pp(bfly) ^ Call: (54) [logicmoo_test] current_predicate((in_pp/1)) ^ Exit: (54) [logicmoo_test] current_predicate((in_pp/1)) ^ Call: (54) [logicmoo_test] pretty_clauses:in_pp(bfly) ^ Unify: (54) [logicmoo_test] pretty_clauses:in_pp(bfly) Call: (55) [system] nonvar(bfly) Exit: (55) [system] nonvar(bfly) ^ Call: (55) [logicmoo_test] pretty_clauses:in_pp(_58930) ^ Unify: (55) [logicmoo_test] pretty_clauses:in_pp(_58930) Call: (56) [system] nonvar(_58930) Fail: (56) [system] nonvar(_58930) ^ Redo: (55) [logicmoo_test] pretty_clauses:in_pp(_58930) ^ Unify: (55) [logicmoo_test] pretty_clauses:in_pp(_58930) ^ Call: (56) [logicmoo_test] pretty_clauses:is_pp_set(_58930) ^ Unify: (56) [logicmoo_test] pretty_clauses:is_pp_set(_58930) Call: (57) [bfly_tl] bfly_tl:bfly_setting(pp_output, _58930) Fail: (57) [bfly_tl] bfly_tl:bfly_setting(pp_output, _58930) ^ Fail: (56) [logicmoo_test] pretty_clauses:is_pp_set(_58930) ^ Redo: (55) [logicmoo_test] pretty_clauses:in_pp(_58930) ^ Unify: (55) [logicmoo_test] pretty_clauses:in_pp(_58930) ^ Call: (56) [logicmoo_test] pretty_clauses:toplevel_pp(_58930) ^ Unify: (56) [logicmoo_test] pretty_clauses:toplevel_pp(_58930) Call: (57) [system] nonvar(_58930) Fail: (57) [system] nonvar(_58930) ^ Redo: (56) [logicmoo_test] pretty_clauses:toplevel_pp(_58930) ^ Unify: (56) [logicmoo_test] pretty_clauses:toplevel_pp(swish) ^ Call: (57) [logicmoo_test] on_x_log_fail((nb_current('$pp_swish', t);pengines:pengine_self(_70656))) ^ Unify: (57) [ucatch] on_x_log_fail(logicmoo_test:(nb_current('$pp_swish', t);pengines:pengine_self(_70656))) Call: (61) [system] nb_current('$pp_swish', t) Fail: (61) [system] nb_current('$pp_swish', t) Call: (61) [pengines] pengines:pengine_self(_70656) Unify: (61) [pengines] pengines:pengine_self(_70656) Call: (62) [system] thread_self(_74440) Exit: (62) [system] thread_self(main) Call: (62) [pengines] current_pengine(_70656, _75704, main, _75708, _75710, _75712) Fail: (62) [pengines] current_pengine(_70656, _76366, main, _76370, _76372, _76374) Fail: (61) [pengines] pengines:pengine_self(_70656) ^ Fail: (57) [ucatch] on_x_log_fail(logicmoo_test:(nb_current('$pp_swish', t);pengines:pengine_self(_70656))) ^ Redo: (56) [logicmoo_test] pretty_clauses:toplevel_pp(_58930) ^ Unify: (56) [logicmoo_test] pretty_clauses:toplevel_pp(http) ^ Call: (57) [logicmoo_test] on_x_log_fail(httpd_wrapper:http_current_request(_79480)) ^ Unify: (57) [ucatch] on_x_log_fail(httpd_wrapper:http_current_request(_79480)) Call: (60) [httpd_wrapper] httpd_wrapper:http_current_request(_79480) Unify: (60) [httpd_wrapper] httpd_wrapper:http_current_request(_79480) Call: (61) [system] current_output(_82046) Exit: (61) [system] current_output((0x7f8762aee8c0)) Call: (61) [http_stream] http_stream:is_cgi_stream((0x7f8762aee8c0)) Fail: (61) [http_stream] http_stream:is_cgi_stream((0x7f8762aee8c0)) Fail: (60) [httpd_wrapper] httpd_wrapper:http_current_request(_79480) ^ Fail: (57) [ucatch] on_x_log_fail(httpd_wrapper:http_current_request(_79480)) ^ Redo: (56) [logicmoo_test] pretty_clauses:toplevel_pp(_58930) ^ Unify: (56) [logicmoo_test] pretty_clauses:toplevel_pp(ansi) ^ Call: (57) [logicmoo_test] current_predicate((bfly_get/2)) ^ Exit: (57) [logicmoo_test] current_predicate((bfly_get/2)) ^ Call: (57) [logicmoo_test] butterfly:bfly_get(butterfly, f) ^ Unify: (57) [logicmoo_test] butterfly:bfly_get(butterfly, f) Call: (58) [system] nonvar(f) Exit: (58) [system] nonvar(f) ^ Call: (58) [logicmoo_test] butterfly:bfly_get(butterfly, _90668) ^ Unify: (58) [logicmoo_test] butterfly:bfly_get(butterfly, _90668) Call: (59) [system] nonvar(_90668) Fail: (59) [system] nonvar(_90668) ^ Redo: (58) [logicmoo_test] butterfly:bfly_get(butterfly, _90668) ^ Unify: (58) [logicmoo_test] butterfly:bfly_get(butterfly, _90668) Call: (59) [bfly_tl] bfly_tl:bfly_setting(butterfly, _90668) Unify: (59) [bfly_tl] bfly_tl:bfly_setting(butterfly, f) Exit: (59) [bfly_tl] bfly_tl:bfly_setting(butterfly, f) ^ Exit: (58) [logicmoo_test] butterfly:bfly_get(butterfly, f) Call: (58) [system] f=@=f Exit: (58) [system] f=@=f ^ Exit: (57) [logicmoo_test] butterfly:bfly_get(butterfly, f) ^ Exit: (56) [logicmoo_test] pretty_clauses:toplevel_pp(ansi) ^ Exit: (55) [logicmoo_test] pretty_clauses:in_pp(ansi) Call: (55) [system] bfly==ansi Fail: (55) [system] bfly==ansi ^ Fail: (54) [logicmoo_test] pretty_clauses:in_pp(bfly) ^ Fail: (53) [logicmoo_test] dmsg:dis_pp(bfly) ^ Redo: (52) [logicmoo_test] dmsg:likely_folded(wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))))) ^ Call: (53) [logicmoo_test] dmsg:wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...]))))))) ^ Unify: (53) [logicmoo_test] dmsg:wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...]))))))) ^ Call: (54) [logicmoo_test] quietly(ignore((with_all_dmsg(dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(...)))))), (fmt_visible_to_console->true;ignore(on_x_fail(in_cmt(fmt((?-mpred_test(..., ...)))))))))) ^ Unify: (54) [rtrace] quietly(logicmoo_test:ignore((with_all_dmsg(dmsg((?-mpred_test(_538, user:clause_asserted_i(...))))), (fmt_visible_to_console->true;ignore(on_x_fail(in_cmt(fmt((?- ...))))))))) %~ ?-( mpred_test(Kw,user:clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))))). ^ Exit: (59) [must_sanity] must_sanity:mquietly_if(true, rtrace:tAt_rtrace) ^ Exit: (54) [rtrace] quietly(logicmoo_test:ignore((with_all_dmsg(dmsg((?-mpred_test(_538, user:clause_asserted_i(...))))), (fmt_visible_to_console->true;ignore(on_x_fail(in_cmt(fmt((?- ...))))))))) ^ Exit: (53) [logicmoo_test] dmsg:wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...])))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar([...|...]))))))) ^ Exit: (52) [logicmoo_test] dmsg:likely_folded(wdmsg_goal(fmt((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), dmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))))) ^ Call: (48) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (48) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (49) [ucatch] strip_module(ucatch:must_det_u, _134178, _134118) ^ Exit: (49) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (49) [system] var(must_det_u) Fail: (49) [system] var(must_det_u) ^ Fail: (48) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (48) [ucatch] ucatch:is_call_var(logicmoo_test:(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(_16848))) ^ Unify: (48) [ucatch] ucatch:is_call_var(logicmoo_test:(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(_16848))) ^ Call: (49) [ucatch] strip_module(logicmoo_test:(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848)), _138488, _138428) ^ Exit: (49) [ucatch] strip_module(logicmoo_test:(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848)), logicmoo_test, (add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...))), get_time(_16848))) Call: (49) [system] var((add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...))), get_time(_16848))) Fail: (49) [system] var((add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...))), get_time(_16848))) ^ Fail: (48) [ucatch] ucatch:is_call_var(logicmoo_test:(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(_16848))) ^ Call: (49) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (49) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (50) [ucatch] strip_module(ucatch:must_det_u, _142804, _142744) ^ Exit: (50) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (50) [system] var(must_det_u) Fail: (50) [system] var(must_det_u) ^ Fail: (49) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (49) [ucatch] ucatch:is_call_var(logicmoo_test:add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...]))))) ^ Unify: (49) [ucatch] ucatch:is_call_var(logicmoo_test:add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...]))))) ^ Call: (50) [ucatch] strip_module(logicmoo_test:add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))), _147114, _147054) ^ Exit: (50) [ucatch] strip_module(logicmoo_test:add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', ... = ...])))), logicmoo_test, add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Call: (50) [system] var(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) Fail: (50) [system] var(add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667']))))) ^ Fail: (49) [ucatch] ucatch:is_call_var(logicmoo_test:add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([... = ...|...]))))) Call: (53) [j_u] j_u:junit_prop(_538, goal, _150124) Unify: (53) [j_u] j_u:junit_prop("Test_0001_Line_0000__sk2_in_1_in_user", goal, user:(sk2_in(_150776), get_attr(_150776, sk2, _150790), _150790=='SKF-6667')) Exit: (53) [j_u] j_u:junit_prop("Test_0001_Line_0000__sk2_in_1_in_user", goal, user:(sk2_in(_150776), get_attr(_150776, sk2, _150790), _150790=='SKF-6667')) ^ Call: (49) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (49) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (50) [ucatch] strip_module(ucatch:must_det_u, _153362, _153302) ^ Exit: (50) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (50) [system] var(must_det_u) Fail: (50) [system] var(must_det_u) ^ Fail: (49) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (49) [ucatch] ucatch:is_call_var(logicmoo_test:(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) ^ Unify: (49) [ucatch] ucatch:is_call_var(logicmoo_test:(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) ^ Call: (50) [ucatch] strip_module(logicmoo_test:(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...))), get_time(_16848)), _157672, _157612) ^ Exit: (50) [ucatch] strip_module(logicmoo_test:(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...))), get_time(_16848)), logicmoo_test, (ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718|...]), replace_in_string([...], _16760, _16790), add_test_info(_538, url, _16790))), get_time(_16848))) Call: (50) [system] var((ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718|...]), replace_in_string([...], _16760, _16790), add_test_info(_538, url, _16790))), get_time(_16848))) Fail: (50) [system] var((ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718|...]), replace_in_string([...], _16760, _16790), add_test_info(_538, url, _16790))), get_time(_16848))) ^ Fail: (49) [ucatch] ucatch:is_call_var(logicmoo_test:(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, ... : ...), sformat(..., ..., ...), ..., ...)), get_time(_16848))) ^ Call: (50) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (50) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (51) [ucatch] strip_module(ucatch:must_det_u, _161988, _161928) ^ Exit: (51) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (51) [system] var(must_det_u) Fail: (51) [system] var(must_det_u) ^ Fail: (50) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (50) [ucatch] ucatch:is_call_var(logicmoo_test:ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...)))) ^ Unify: (50) [ucatch] ucatch:is_call_var(logicmoo_test:ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...)))) ^ Call: (51) [ucatch] strip_module(logicmoo_test:ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718|...]), replace_in_string([...], _16760, _16790), add_test_info(_538, url, _16790))), _166298, _166238) ^ Exit: (51) [ucatch] strip_module(logicmoo_test:ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718|...]), replace_in_string([...], _16760, _16790), add_test_info(_538, url, _16790))), logicmoo_test, ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718, _16720]), replace_in_string([... = ...], _16760, _16790), add_test_info(_538, url, _16790)))) Call: (51) [system] var(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718, _16720]), replace_in_string([... = ...], _16760, _16790), add_test_info(_538, url, _16790)))) Fail: (51) [system] var(ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [_16718, _16720]), replace_in_string([... = ...], _16760, _16790), add_test_info(_538, url, _16790)))) ^ Fail: (50) [ucatch] ucatch:is_call_var(logicmoo_test:ignore((source_location(_16718, _16720), atom(_16718), add_test_info(_538, src, _16718:_16720), sformat(_16760, '~w#L~w', [...|...]), replace_in_string(..., ..., ...), add_test_info(..., ..., ...)))) Call: (55) [system] source_location(_16718, _16720) Fail: (55) [system] source_location(_16718, _16720) ^ Call: (50) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Unify: (50) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (51) [ucatch] strip_module(ucatch:must_det_u, _171832, _171772) ^ Exit: (51) [ucatch] strip_module(ucatch:must_det_u, ucatch, must_det_u) Call: (51) [system] var(must_det_u) Fail: (51) [system] var(must_det_u) ^ Fail: (50) [ucatch] ucatch:is_call_var(ucatch:must_det_u) ^ Call: (50) [ucatch] ucatch:is_call_var(logicmoo_test:get_time(_16848)) ^ Unify: (50) [ucatch] ucatch:is_call_var(logicmoo_test:get_time(_16848)) ^ Call: (51) [ucatch] strip_module(logicmoo_test:get_time(_16848), _176142, _176082) ^ Exit: (51) [ucatch] strip_module(logicmoo_test:get_time(_16848), logicmoo_test, get_time(_16848)) Call: (51) [system] var(get_time(_16848)) Fail: (51) [system] var(get_time(_16848)) ^ Fail: (50) [ucatch] ucatch:is_call_var(logicmoo_test:get_time(_16848)) ^ Exit: (45) [ucatch] must_det_l(logicmoo_test:(wdmsg((?-mpred_test(_538, user:clause_asserted_i(sk2_in(avar(...)))))), add_test_info(_538, goal, user:clause_asserted_i(sk2_in(avar([...|...])))), ignore((source_location(_16718, _16720), atom(_16718), add_test_info(..., ..., ...), ..., ...)), get_time(1632738043.15359))) Call: (45) [system] _16858=nb(0) Exit: (45) [system] nb(0)=nb(0) ^ Call: (47) [logicmoo_test] call_u_hook(user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) ^ Unify: (47) [logicmoo_test] call_u_hook(user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) ^ Call: (56) [baseKB] clause_attvars:clausify_attributes(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), _184772) ^ Unify: (56) [baseKB] clause_attvars:clausify_attributes(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), _184772) ^ Exit: (56) [baseKB] clause_attvars:clausify_attributes(sk2_in(avar([vn='Ex', sk2='SKF-6667'])), sk2_in(avar([vn='Ex', sk2='SKF-6667']))) ^ Exit: (47) [logicmoo_test] call_u_hook(user:clause_asserted_i(sk2_in(avar([vn='Ex', sk2='SKF-6667'])))) Call: (47) [system] _16898=passed Exit goal=user:clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667']))). time=0.0028314590454101562. result=passed. goal=user:(\+clause_asserted_i(sk2_in(avar([vn='Ex',sk2='SKF-6667'])))). time=0.0021135807037353516. goal=user:(get_fc_mode((xxxf,ax),_828820),_828820=zdirect). time=0.0016334056854248047. ]]>