diff options
| author | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2021-12-07 09:34:54 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2021-12-07 09:34:54 +0000 |
| commit | 417548361eb0c7a4c449245d19436e24d1b7f80a (patch) | |
| tree | 1ed3b9321f5d6924f796cb1c71089b8eb51d6e5e /sites/pprolog.org/documentation/index.md | |
| parent | a16af0ad8850d7b69cafaf03cc1b3dbe992995bf (diff) | |
Move prolog site
Diffstat (limited to 'sites/pprolog.org/documentation/index.md')
| -rw-r--r-- | sites/pprolog.org/documentation/index.md | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/sites/pprolog.org/documentation/index.md b/sites/pprolog.org/documentation/index.md deleted file mode 100644 index 77da430..0000000 --- a/sites/pprolog.org/documentation/index.md +++ /dev/null @@ -1,28 +0,0 @@ -# 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. -* [Prolog primer](/documentation/tutorial/2.-prolog-primer) gives a short introduction to prolog. -* [Using the repl](/documentation/tutorial/3.-repl) explains how to ask queries to the system at the repl. -* [Writing and consulting code](/documentation/tutorial/4.-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.
\ No newline at end of file |