"YAP-Prolog"@cs .