"BProlog"@cs .