"SWI-Prolog"@cs .