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.
{Reading /tmp/tmpGbK1eI/plumer356.pl
}
{loaded in 3376.211 msec.}
{preprocessed for plai in 0.0 msec.}
{analyzed by plai using det with local-control off in 4.0 msec.}
{written file /tmp/tmpGbK1eI/plumer356_det_co.pl}
:- module(_1,[p/1],[assertions]).
:- entry p(A).
:- true pred p(A)
: ( native_props:mshare([[A]]), term(A) )
=> ( ground([A]), rt6(A) )
+ ( is_det, mut_exclusive ).
p(X) :-
l(X),
!,
q(X).
:- true pred q(_1)
: ( ground([_1]), rt4(_1) )
=> ( ground([_1]), rt6(_1) )
+ ( is_det, mut_exclusive ).
q([A]).
:- true pred r(_1)
: ( native_props:mshare([[_1]]), term(_1) )
=> ( ground([_1]), rt1(_1) )
+ ( is_det, mut_exclusive ).
r(1).
:- true pred l(_1)
: ( native_props:mshare([[_1]]), term(_1) )
=> ( ground([_1]), rt4(_1) )
+ ( is_det, mut_exclusive ).
l([]).
l([H|T]) :-
r(H),
l(T).
:- regtype rt6/1.
rt6([A]) :-
rt1(A).
:- regtype rt5/1.
rt5([]).
rt5([A|B]) :-
rt1(A),
rt5(B).
:- regtype rt4/1.
rt4([]).
rt4([A|B]) :-
rt1(A),
rt5(B).
:- regtype rt1/1.
rt1(1).