SWI-Prolog
Aljanabi1989