SWI-Prolog
lispercat