SWI-Prolog
SynAmardo