/* <module>
%
%  PFC is a0 language extension for prolog.
%
%  It adds a0 new type of module inheritance
%
% Dec 13, 2035
% Douglas Miles
*/
%  was_module(mt_06,[]).

:- include(library(logicmoo_test_header)).
:- expects_dialect(pfc).

baseKB:mtProlog(code1).
baseKB:mtHybrid(kb2).
baseKB:mtHybrid(kb3).

arity(a0,0).
baseKB:predicateConventionMt(a0,kb2).

%:- set_defaultAssertMt(myMt).

a0.


% code1: (a0 <- b).
code1: (b:- printAll('$current_source_module'(_M))).


kb2: (b).

baseKB:genlMt(kb2,code1).


kb2: (?- a0).

baseKB:genlMt(kb3,kb2).

baseKB:genlMt(mt_06,kb2).

:- kb2:listing(a0/0).

kb3: (a0==>c).

:- mpred_must(clause(kb2:a0,_)).

% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/344 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/mt_06.pl 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/MT_06/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AMT_06