Report copyright - 1 prolog :-in(2014).. 2 Prolog Based on first-order predicate calculus – Allow Horn clauses (a subset of predicate calculus) only – Execution of a Prolog
Please pass captcha verification before submit form
Please pass captcha verification before submit form