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 3320.207 msec.}
{preprocessed for plai in 4.0 msec.}
{analyzed by plai using det with local-control off in 20.001 msec.}
{written file /tmp/tmpwzPaLv/ordered_det_co.pl}
:- module(_1,[ordered/1],[assertions]).
:- entry ordered(A)
: ground(A).
:- true pred ordered(A)
: ( ground([A]), gnd(A) )
=> ( ground([A]), rt51(A) )
+ ( is_det, mut_exclusive ).
:- true pred ordered([_1|_2])
: ( native_props:mshare([[_1]]), ground([_2]), term(_1), gnd(_2) )
=> ( native_props:mshare([[_1]]), ground([_2]), term(_1), rt50(_2) )
+ ( is_det, mut_exclusive ).
:- true pred ordered([_1|_2])
: ( native_props:mshare([[_1],[_1,_2],[_2]]), term(_1), gnd(_2) )
=> ( native_props:mshare([[_1],[_1,_2],[_2]]), term(_1), rt49(_2) )
+ ( is_det, mut_exclusive ).
ordered([]) :- !.
ordered([_1]) :- !.
ordered(Xs) :-
head(Xs,X),
tail(Xs,Ys),
head(Ys,Y),
tail(Ys,Zs),
less(X,s(Y)),
ordered([Y|Zs]).
:- true pred head(_2,_1)
: ( native_props:mshare([[_2],[_1]]), var(_1), gnd(_2), term(_1) )
=> ( native_props:mshare([[_2],[_2,_1],[_1]]), rt32(_2), term(_1) )
+ ( is_det, mut_exclusive ).
:- true pred head(_2,_1)
: ( native_props:mshare([[_2],[_1]]), var(_1), rt27(_2), term(_1) )
=> ( native_props:mshare([[_2],[_2,_1]]), rt28(_2), term(_1) )
+ ( is_det, mut_exclusive ).
:- true pred head(_2,_1)
: ( native_props:mshare([[_1]]), var(_1), ground([_2]), gnd(_2), term(_1) )
=> ( native_props:mshare([[_1]]), ground([_2]), rt5(_2), term(_1) )
+ ( is_det, mut_exclusive ).
head([],_1).
head([X|_1],X).
:- true pred tail(_1,Xs)
: ( native_props:mshare([[_1],[Xs]]), var(Xs), rt32(_1), term(Xs) )
=> ( native_props:mshare([[_1],[_1,Xs]]), rt36(_1), gnd(Xs) )
+ ( is_det, mut_exclusive ).
:- true pred tail(_1,Xs)
: ( native_props:mshare([[_1],[Xs]]), var(Xs), rt28(_1), term(Xs) )
=> ( native_props:mshare([[_1],[_1,Xs]]), rt29(_1), gnd(Xs) )
+ ( is_det, mut_exclusive ).
:- true pred tail(_1,Xs)
: ( native_props:mshare([[Xs]]), var(Xs), ground([_1]), rt5(_1), term(Xs) )
=> ( ground([_1,Xs]), rt9(_1), gnd(Xs) )
+ ( is_det, mut_exclusive ).
tail([],[]).
tail([_1|Xs],Xs).
:- true pred less(X,s(_1))
: ( native_props:mshare([[X],[X,_1],[_1]]), term(X), term(_1) )
=> ( native_props:mshare([[_1]]), ground([X]), rt45(X), term(_1) )
+ ( is_det, mut_exclusive ).
:- true pred less(X,Y)
: ( native_props:mshare([[X],[X,Y],[Y]]), term(X), term(Y) )
=> ( native_props:mshare([[Y]]), ground([X]), rt41(X), rt43(Y) )
+ ( is_det, mut_exclusive ).
:- true pred less(X,s(_1))
: ( native_props:mshare([[X],[_1]]), term(X), term(_1) )
=> ( native_props:mshare([[_1]]), ground([X]), rt24(X), term(_1) )
+ ( is_det, mut_exclusive ).
:- true pred less(X,Y)
: ( native_props:mshare([[X],[Y]]), term(X), term(Y) )
=> ( native_props:mshare([[Y]]), ground([X]), rt20(X), rt22(Y) )
+ ( is_det, mut_exclusive ).
less(0,Y) :-
!,
eq(Y,s(_1)).
less(X,Y) :-
p(X,Px),
p(Y,Py),
less(Px,Py).
:- true pred p(_1,X)
: ( native_props:mshare([[_1],[X]]), var(X), term(_1), term(X) )
=> ( native_props:mshare([[_1,X]]), rt16(_1), term(X) )
+ ( is_det, mut_exclusive ).
:- true pred p(_1,X)
: ( native_props:mshare([[_1],[X]]), var(X), rt12(_1), term(X) )
=> ( native_props:mshare([[_1,X]]), rt17(_1), term(X) )
+ ( is_det, mut_exclusive ).
p(0,0).
p(s(X),X).
:- true pred eq(X,s(_1))
: ( native_props:mshare([[X],[_1]]), var(_1), term(X), term(_1) )
=> ( native_props:mshare([[X,_1]]), rt18(X), term(_1) )
+ ( is_det, mut_exclusive ).
:- true pred eq(X,s(_1))
: ( native_props:mshare([[X],[_1]]), var(_1), rt10(X), term(_1) )
=> ( native_props:mshare([[X,_1]]), rt10(X), term(_1) )
+ ( is_det, mut_exclusive ).
eq(X,X).
:- regtype rt53/1.
rt53(A) :-
gnd(A).
:- regtype rt52/1.
rt52([]).
rt52(A) :-
gnd(A).
rt52([A|B]) :-
rt53(A),
rt52(B).
:- regtype rt51/1.
rt51([]).
rt51([A|B]) :-
rt53(A),
rt52(B).
:- regtype rt50/1.
rt50(A) :-
gnd(A).
:- regtype rt49/1.
rt49(A) :-
gnd(A).
:- regtype rt46/1.
rt46(0).
rt46(A) :-
term(A).
rt46(s(A)) :-
rt46(A).
:- regtype rt45/1.
rt45(0).
rt45(s(A)) :-
rt46(A).
:- regtype rt32/1.
rt32([]).
rt32([A|B]) :-
gnd(A),
gnd(B).
:- regtype rt36/1.
rt36([]).
rt36([A|B]) :-
gnd(A),
gnd(B).
:- regtype rt28/1.
rt28([A|B]) :-
term(A),
gnd(B).
:- regtype rt29/1.
rt29([A|B]) :-
term(A),
gnd(B).
:- regtype rt27/1.
rt27([A|B]) :-
term(A),
gnd(B).
:- regtype rt42/1.
rt42(0).
rt42(A) :-
term(A).
rt42(s(A)) :-
rt42(A).
:- regtype rt41/1.
rt41(0).
rt41(s(A)) :-
rt42(A).
:- regtype rt44/1.
rt44(0).
rt44(A) :-
term(A).
rt44(s(A)) :-
rt44(A).
:- regtype rt43/1.
rt43(0).
rt43(s(A)) :-
rt44(A).
:- regtype rt16/1.
rt16(0).
rt16(s(A)) :-
term(A).
:- regtype rt18/1.
rt18(s(A)) :-
term(A).
:- regtype rt12/1.
rt12(s(A)) :-
term(A).
:- regtype rt17/1.
rt17(s(A)) :-
term(A).
:- regtype rt10/1.
rt10(s(A)) :-
term(A).
:- regtype rt25/1.
rt25(0).
rt25(A) :-
term(A).
rt25(s(A)) :-
rt25(A).
:- regtype rt24/1.
rt24(0).
rt24(s(A)) :-
rt25(A).
:- regtype rt21/1.
rt21(0).
rt21(A) :-
term(A).
rt21(s(A)) :-
rt21(A).
:- regtype rt20/1.
rt20(0).
rt20(s(A)) :-
rt21(A).
:- regtype rt23/1.
rt23(0).
rt23(A) :-
term(A).
rt23(s(A)) :-
rt23(A).
:- regtype rt22/1.
rt22(0).
rt22(s(A)) :-
rt23(A).
:- regtype rt5/1.
rt5([]).
rt5([A|B]) :-
gnd(A),
gnd(B).
:- regtype rt9/1.
rt9([]).
rt9([A|B]) :-
gnd(A),
gnd(B).