Report - Knowledge Lecture 1: Lecture 2 · This leads to PROLOG as an efficient inference engine for definite logic programs . However, full declarativeness is lost and PROLOG is not (yet)

Please pass captcha verification before submit form