Report - Recap (Lecture 1): Propositional logic · PDF fileRecap (Lecture 1): Propositional logic program A de nite clause is a formula of one of the two shapes below q (a Prolog factq :) p

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form