Ciao Preprocessor (integrated Alpha version)
| This is an alpha distribution, meant only for testing. Please do let us
| know at ciaopp-bugclip.dia.fi.upm.es any problems you may have.
{loaded in 3340.209 msec.}
{preprocessed for plai in 0.0 msec.}
{analyzed by plai using det with local-control off in 4.0 msec.}
{written file /tmp/tmpEoE1ET/thief1_det_co.pl}
:- module(_1,[thief/1],[assertions]).
:- entry thief(A)
: ground(A).
:- true pred thief(A)
: ( ground([A]), gnd(A) )
=> ( ground([A]), rt0(A) )
+ ( is_det, mut_exclusive ).
thief(john).
thief(X) :-
thief(X),
!.
:- regtype rt0/1.
rt0(john).