Subject: [SWIPL] sorting database?

From: Partsakoulakis Ioannis <[email-masked]>
Date: Thu, 3 May 2001 17:59:40 +0300

Assume that I have the facts
on(1,2).
on(1,4).

Now I want to assert the fact on(1,3) but also to keep my database
sorted, i.e. I want to have
on(1,2).
on(1,3).
on(1,4).

Is this possible?

If not how can I retrieve efficiently the fact on(X,Y) such that Ys are
returned in increasing order?

Thanks,
Yannis.