From a6af5fe110093bfd36203127c87198bdffa30b4b Mon Sep 17 00:00:00 2001 From: glenda Date: Wed, 13 Jan 2021 18:29:19 +0000 Subject: Write an intro in documentation --- sites/pprolog.org/_werc/lib/footer.inc | 2 +- sites/pprolog.org/_werc/lib/top_bar.inc | 1 + sites/pprolog.org/documentation.md | 0 sites/pprolog.org/documentation/index.md | 27 ++++++++++++++++++++++ .../documentation/tutorial/1.-install.md | 0 .../pprolog.org/documentation/tutorial/2.-repl.md | 0 .../tutorial/3.-writing-and-consulting.md | 0 7 files changed, 29 insertions(+), 1 deletion(-) delete mode 100644 sites/pprolog.org/documentation.md create mode 100644 sites/pprolog.org/documentation/index.md create mode 100644 sites/pprolog.org/documentation/tutorial/1.-install.md create mode 100644 sites/pprolog.org/documentation/tutorial/2.-repl.md create mode 100644 sites/pprolog.org/documentation/tutorial/3.-writing-and-consulting.md diff --git a/sites/pprolog.org/_werc/lib/footer.inc b/sites/pprolog.org/_werc/lib/footer.inc index 07991c9..ac3b4a1 100644 --- a/sites/pprolog.org/_werc/lib/footer.inc +++ b/sites/pprolog.org/_werc/lib/footer.inc @@ -1 +1 @@ -Powered by werc © Peter Mikkelsen 2019-2021 \ No newline at end of file +Powered by werc © Peter Mikkelsen 2020-2021 \ No newline at end of file diff --git a/sites/pprolog.org/_werc/lib/top_bar.inc b/sites/pprolog.org/_werc/lib/top_bar.inc index 75c69ca..e6a79eb 100644 --- a/sites/pprolog.org/_werc/lib/top_bar.inc +++ b/sites/pprolog.org/_werc/lib/top_bar.inc @@ -1,5 +1,6 @@
pprolog source code | + pmikkelsen's site | 9front
diff --git a/sites/pprolog.org/documentation.md b/sites/pprolog.org/documentation.md deleted file mode 100644 index e69de29..0000000 diff --git a/sites/pprolog.org/documentation/index.md b/sites/pprolog.org/documentation/index.md new file mode 100644 index 0000000..78260cb --- /dev/null +++ b/sites/pprolog.org/documentation/index.md @@ -0,0 +1,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. \ No newline at end of file diff --git a/sites/pprolog.org/documentation/tutorial/1.-install.md b/sites/pprolog.org/documentation/tutorial/1.-install.md new file mode 100644 index 0000000..e69de29 diff --git a/sites/pprolog.org/documentation/tutorial/2.-repl.md b/sites/pprolog.org/documentation/tutorial/2.-repl.md new file mode 100644 index 0000000..e69de29 diff --git a/sites/pprolog.org/documentation/tutorial/3.-writing-and-consulting.md b/sites/pprolog.org/documentation/tutorial/3.-writing-and-consulting.md new file mode 100644 index 0000000..e69de29 -- cgit v1.2.3