SWI-Prolog
tinkersaur