Report - Towards a Uni ed Theory of Intensional Logic Programmingplaice/archive/WWW/1992/P-JLP92-IL… · show that intensional logic program clauses can be used to de ne new intensional operators.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form