"Modula-Prolog"@cs .