Report copyright - 1 History Automatic Theorem Proving Robinson 1965 “PROgramming in LOGic” Kowalski, 1974 Deduction as computation “Prolog”, Colmerauer, 1973 Edinburgh Prolog,
Please pass captcha verification before submit form
Please pass captcha verification before submit form