Report - ManfredDroste, Yuri Gurevich(editors) · I have dened Prolog Algebras which give a formal semantics for the full language Prolog, including the usual build - in predicates for control,

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form