The original call is "run.", but a clause "main :- run." has been added for consistency with the other elpi tests.
The original call is "run.", but a clause "main :- run." has
been added for consistency with the other elpi tests.

LPCIC/elpi