?- mpred_ain([aa(x), b(x,z), cc(t), ((aa(A),b(A,C),cc(C)) ==> dd(A,C)), aa(y), b(y,x), cc(y), aa(y), b(y,t), cc(z), b(z,y), cc(x)]).

?- listing(dd/2).
:- dynamic dd/2.
:- multifile dd/2.
:- public dd/2.
:- module_transparent dd/2.

dd(y, t).
dd(x, z).
dd(y, x).

true.

baseKB:  ?- mpred_ain(aa(z)).
true.

baseKB:  ?- listing(dd/2).
:- dynamic dd/2.
:- multifile dd/2.
:- public dd/2.
:- module_transparent dd/2.

dd(y, t).
dd(x, z).
dd(y, x).
dd(z, y).

true.