Last updated 5 years ago
"Prolog is an efficient programming language because it is a very stupid theorem prover"The Craft of Prolog, Richard O'Keefe
"Prolog is an efficient programming language because it is a very stupid theorem prover"
The Craft of Prolog, Richard O'Keefe
and the video
tutorials at .