Learning prolog
If you are new to prolog the following resources helped me a lot in the beginning and they still do:
- The Power of Prolog by Markus Triska is a great book about prolog and logic programming and is very up to date. It even contains videos for some of its topics which can help a bit. The text is easy to read and the chapters are short so it doesn't become overwhelming.
- The Art of Prolog an older book by Leon S. Sterling and Ehud Y. Shapiro which goes much more into the details and foundations of logic programming, but since it is older it should not be your only learning source. This book is my recommendation for people who are not afraid to read a bit since it is very interesting.
Please be aware that some of the things taught in the books aren't supported by pprolog yet, such as constraint logic programming which is used a lot in Triskas book for doing integer arithmetic.
PProlog tutorial
There exists a mini series to get you up and running with the pprolog system:
- Installing covers the steps needed to install pprolog on you very own 9front machine.
- Prolog primer gives a short introduction to prolog.
- Using the repl explains how to ask queries to the system at the repl.
- Writing and consulting code. While asking queries using only the standard library and the builtins is fun, it becomes even more fun when you can write your own fact and rules and load them.
Information about the standard library and the builtins
At the moment the source is the documentation.