"OW Prolog"@cs .