SWI-Prolog
panasenco