#!/usr/bin/env swipl
%
%  PFC is aaa language extension for prolog.. there is so much that can be done in this language extension to Prolog
%
% Dec 13, 2035
% Douglas Miles


%  was_module(header_sane,[]).
:- include(test_header).
/*
:- rtrace.
:- set_prolog_flag(retry_undefined, none).
:- set_prolog_flag(gc,true),garbage_collect.
% :- make.
:- set_prolog_flag(retry_undefined, kb_shared).
*/


(aa(A),bb(A,C),cc(C)) ==> dd(A,C).

aa(x). bb(x,z). cc(t).
aa(y). bb(y,x). cc(y).
aa(y). bb(y,t). cc(z).
bb(z,y). cc(x).
bb(z,r). cc(r).


:- mpred_must(dd(y,x)).
:- mpred_must(dd(x,z)).
:- mpred_must(dd(y,t)).

aa(z). 

:- mpred_must(dd(z,y)).
:- mpred_must(dd(z,r)).