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).