blob: 78260cb55777e917e5c9c70438daff3fc564ab22 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# 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](https://www.metalevel.at/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](https://mitpress.mit.edu/books/art-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](/documentation/tutorial/1.-install) covers the steps needed to install pprolog on you very own 9front machine.
* [Using the repl](/documentation/tutorial/2.-repl) explains how to ask queries to the system at the repl.
* [Writing and consulting code](/documentation/tutorial/3.-writing-and-consulting). 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](https://git.sr.ht/~pmikkelsen/pprolog) is the documentation.
|