#!/usr/bin/env swipl % % PFC is a11 language extension for prolog.. there is so much that can be done in this language extension to Prolog % % Dec 13, 2035 % Douglas Miles % cls ; kill -9 %1 ; swipl -g "ensure_loaded(pack(logicmoo_base/t/examples/base/'sanity_abc.pfc'))." % was_module(header_sane,[]). :- include(test_header). /* :- abolish(a11,0). :- abolish(b11,0). :- abolish(c11,0). */ a11 ==> b11. b11 ==> c11. c11 ==> a11. a11. :- mpred_test(a11). :- mpred_test(b11). :- mpred_test(c11). \+ a11. :- mpred_test(\+ a11). :- mpred_test(\+ b11). :- mpred_test(\+ c11). :- mpred_trace_exec. b11. :- mpred_test(a11). :- mpred_test(b11). :- mpred_test(c11).