SWI-Prolog
cmsmcq