Prolog

"Prolog is an efficient programming language because it is a very stupid theorem prover"

  • The Craft of Prolog, Richard O'Keefe

Books

Resources

Last updated