Write an intro in documentation

6 files changed, 29 insertions, 1 deletions

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 @@
-<a href="http://werc.cat-v.org">Powered by werc</a> © Peter Mikkelsen 2019-2021
\ No newline at end of file
+<a href="http://werc.cat-v.org">Powered by werc</a> © 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 @@
     <div class="left">
 		<a href="https://git.sr.ht/~pmikkelsen/pprolog">pprolog source code</a> |
+		<a href="https://pmikkelsen.com">pmikkelsen's site</a> |
 		<a href="http://9front.org">9front</a>
     </div>
 
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.md b/sites/pprolog.org/documentation/tutorial/1.-install.md
index e69de29..e69de29 100644
--- a/sites/pprolog.org/documentation.md
+++ b/sites/pprolog.org/documentation/tutorial/1.-install.md
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
--- /dev/null
+++ b/sites/pprolog.org/documentation/tutorial/2.-repl.md
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
--- /dev/null
+++ b/sites/pprolog.org/documentation/tutorial/3.-writing-and-consulting.md