SWI-Prolog
abira-sengupta