SWI-Prolog
prodog