πŸ“ˆ
πŸ“ˆ
πŸ“ˆ
πŸ“ˆ
wiki
πŸ‘πŸ™πŸ¦
Search…
Introduction
Books
Computer Science
Programming
Competitive Programming
Source control
Programming languages
Java
Scala
Haskell
Lisp
Rust
C++
C
Python
Prolog
Prolog Cookbook
Clojure
Julia
Networking
Mindfullness
LLVM
Operating systems
Linux
macOS
Windows
CLI
Technology
Databases
Text editors
IDEs
Philosophy
Learning
History
Buddhism
Psychology
Logic
Literature
Research
Papers
Courses
Devops
Life
Meetups
Sports
Music
Podcasts
Movies
TV Series
Log
TIL
Powered By GitBook
Prolog
"Prolog is an efficient programming language because it is a very stupid theorem prover"
  • The Craft of Prolog, Richard O'Keefe

Books

  • ​Clause and Effect: PROLOG Programming for the Working Programmer​

Resources

  • ​Awesome Prolog​
  • ​Simply Logical: Intelligent Reasoning by Example​
  • ​The Power of Prolog and the video
    tutorials at The Power of Prolog - YouTube.
  • ​Logic Programming Techniques and Language Extensions​

​Cookbook​

Previous
Python Cookbook
Next
Prolog Cookbook
Last modified 2yr ago
Copy link
Contents
Books
Resources
Cookbook