gistfile1.txt

L(23,1).
L(2,75).
L(5,75).
L(60,90).
L(5,101).
L(60,3).
L(707,66).
L(42,77).
L(5,15).

adj1(?a1,#min(?b1)) :- L(?a1,?a2), L(?b1,?b2), ?a1 < ?b1.
adj2(?a1,?a2,#min(?b2)) :- L(?a1,?a2), L(?a1,?b2), ?a2 < ?b2.

first1(#min(?a1)) :- L(?a1,?a2).
first2(?a1, #min(?a2)) :- L(?a1,?a2).

sorted(0, ?a1, ?a2) :- first1(?a1), first2(?a1, ?a2).
sorted(?i + 1, ?a1, ?a3) :- sorted(?i, ?a1, ?a2), adj2(?a1, ?a2, ?a3).
sorted(?i + 1, ?b1, ?b2) :- sorted(?i, ?a1, ?a2), ~adj2(?a1, ?a2, ?a3), adj1(?a1, ?b1), first2(?b1, ?b2).

@export sorted :- csv{resource = ""}.