SWI-Prolog
Nenes1992