"gnuprologjava"@cs .