%
% PFC is a 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 ; fg ; swipl -g "ensure_loaded(pack(logicmoo_base/t/examples/base/'sanity_abc.pfc'))."
% was_module(sanity,[]).
:- include(library(logicmoo_test_header)).
:- dynamic((foob/1,if_missing/2,good/1)).
:- expects_dialect(pfc).
% this should have been ok
(if_missing(Missing,Create) ==> (( (+ Missing/(Missing\=@=Create)), + ~(Create)) ==> Create)).
% and is now is OK !
!/usr/bin/env lmoo-junit
% % PFC is a 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 ; fg ; swipl -g "ensure_loaded(pack(logicmoo_base/t/examples/base/'sanity_abc.pfc'))."
% was_module(sanity,[]).
:- include(library(logicmoo_test_header)).
:- dynamic((foob/1,if_missing/2,good/1)).
:- expects_dialect(pfc).
% this should have been ok (if_missing(Missing,Create) ==> (( (+ Missing/(Missing\=@=Create)), + ~(Create)) ==> Create)). % and is now is OK !
:- ain((good(X) ==> ifmissing(foob(),foob(X)))).
:- ain(good(az)).
:- mpred_test(foob(az)).
==> foob(b).
:- mpred_test(+foob(az)).
==> (+ foob(b)).
:- mpred_test(foob(az)).
:- (mpred_blast( good(az) )).
:- listing([foob,good]).
:- mpred_test( +foob(az)).
~ foob(b).
:- mpred_test(+foob(b)).
:- ain(good(az)).
:- mpred_test(foob(az)).