10 Mar 2005
CS 3243 - FOL and Prolog
28
PROgramming in LOGic
A crash course in Prolog
Slides edited from William Clocksin’s versions at Cambridge Univ.