Report - Deconstructing OCaml...In Prolog •Logical facts •Inference rules Mexican(CARNITAS) Food(CARNITAS) Mexican(X) Food(X) Delicious(X)Delicious(CARNITAS) “Fact” “Fact” “Rule”

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form