predicates([<]).

% with the ordered chaining methods this is
% two orders of magnitude faster than example hres15

X<Y, Y<Z -> X<Z.


1<2.
2<3.
3<4.
4<5.
5<6.
6<7.
7<8.
8<9.
9<10.
10<11.
11<12.
12<13.
13<14.
14<15.

% 1<15 -> [].


first_predicate_precedence([<]).
precedence( [1,7,2,6,3,9,4,10,5,12,13,11,14,15,8] ).
:-sama([2]).
:-satp(all).