Move prolog page to pprolog.org

8 files changed, 0 insertions, 142 deletions

diff --git a/sites/prolog.pmikkelsen.com/_werc/config b/sites/prolog.pmikkelsen.com/_werc/config
deleted file mode 100644
index bc8c0e5..0000000
--- a/sites/prolog.pmikkelsen.com/_werc/config
+++ /dev/null
@@ -1,3 +0,0 @@
-masterSite=prolog.pmikkelsen.com
-siteTitle='PProlog'
-siteSubTitle='A prolog for plan9'
diff --git a/sites/prolog.pmikkelsen.com/_werc/lib/footer.inc b/sites/prolog.pmikkelsen.com/_werc/lib/footer.inc
deleted file mode 100644
index 07991c9..0000000
--- a/sites/prolog.pmikkelsen.com/_werc/lib/footer.inc
+++ /dev/null
@@ -1 +0,0 @@
-<a href="http://werc.cat-v.org">Powered by werc</a> © Peter Mikkelsen 2019-2021
\ No newline at end of file
diff --git a/sites/prolog.pmikkelsen.com/_werc/lib/top_bar.inc b/sites/prolog.pmikkelsen.com/_werc/lib/top_bar.inc
deleted file mode 100644
index 75c69ca..0000000
--- a/sites/prolog.pmikkelsen.com/_werc/lib/top_bar.inc
+++ /dev/null
@@ -1,7 +0,0 @@
-    <div class="left">
-		<a href="https://git.sr.ht/~pmikkelsen/pprolog">pprolog source code</a> |
-		<a href="http://9front.org">9front</a>
-    </div>
-
-    <div class="right">
-    </div>
diff --git a/sites/prolog.pmikkelsen.com/_werc/pub/style.css b/sites/prolog.pmikkelsen.com/_werc/pub/style.css
deleted file mode 100644
index 10935fb..0000000
--- a/sites/prolog.pmikkelsen.com/_werc/pub/style.css
+++ /dev/null
@@ -1,67 +0,0 @@
-body { display: flex; flex-wrap: wrap; font-family: sans;}
-header { flex-basis: 100%; flex-shrink: 0; }
-article { flex-basis: 60%; padding-left: 1em; }
-footer { flex-basis: 100%; flex-shrink: 0; }
-header nav { display: flex; justify-content: space-between; }
-nav a, header a { text-decoration: none ; color: inherit; }
-header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; }
-body > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; }
-nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0;  }
-nav li ul { padding-left: 0.6em }
-footer { display: flex; justify-content: space-between; }
-
-/* cut here to leave vanity behind */
-
-body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; }
-a { text-decoration: none; color: }
-a:hover { text-decoration: underline; }
-.thisPage { color: black; }
-
-/* header and top bar */
-header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; }
-header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; }
-header a:hover { text-decoration: none; }
-
-/* sidebar */
-body > nav { border-right: 1px solid #ddd; padding: 0;  } 
-body > nav > div { border-bottom: 1px solid #ddd; } 
-body > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} 
-body > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; }
-body > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; }
-
-/* main copy */
-article { padding: 0.5ex 0 5vh 1vw;  }
-article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); }
-article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
-article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
-article a { color: rgb(0,102,204); }
-article a:hover { color:  rgb(100,135,220); }
-article pre { font-size: 1.2em; }
-
-/* footer */
-footer { color: white; background-color: rgb(100,135,220); }
-footer a { color: inherit; }
-footer div { padding: 1em; }
-
-/* tables */
-table { border: 1px solid rgba(128,128,128,0.5); padding: 0; }
-th { color: white; background-color: rgb(100,135,220); }
-tr:nth-child(odd) { background-color: rgba(128,128,128,0.1)  }
-
-/* Modifications for pmikkelsen.com */
-img {
-	max-width: 100%;
-	border: 1px solid black;
-}
-
-body {
-	background-color: #ffffea;
-}
-
-header h1 {
-	background-color: #eaffea;
-}
-
-html {
-	font-size: 1.2em;
-}
\ No newline at end of file
diff --git a/sites/prolog.pmikkelsen.com/about.md b/sites/prolog.pmikkelsen.com/about.md
deleted file mode 100644
index e69de29..0000000
--- a/sites/prolog.pmikkelsen.com/about.md
+++ /dev/null
diff --git a/sites/prolog.pmikkelsen.com/documentation.md b/sites/prolog.pmikkelsen.com/documentation.md
deleted file mode 100644
index e69de29..0000000
--- a/sites/prolog.pmikkelsen.com/documentation.md
+++ /dev/null
diff --git a/sites/prolog.pmikkelsen.com/index.md b/sites/prolog.pmikkelsen.com/index.md
deleted file mode 100644
index 4cd72ca..0000000
--- a/sites/prolog.pmikkelsen.com/index.md
+++ /dev/null
@@ -1,64 +0,0 @@
-# Introduction
-
-This is the website for PProlog, a new prolog implementation written
-in C on and for plan 9 (9front specifically). Work started in december 2020
-due to the author's need for a prolog system on 9front. The long term goal 
-is to be compliant with the ISO standard but currently it is all just
-experimentation.
-
-# Features
-
-* A base system based on the WAM (Warren abstract machine) implemented by following the book [here](http://wambook.sourceforge.net/wambook.pdf).
-* Support for extended precision arithmetic via [mp(2)](http://man.9front.org/2/mp).
-* Basic support for definite clause grammars (DCGs). For now DCG's are translated by the parser into difference lists and they do not support everything one expects.
-* Lists.
-* Strings represented as list of char atoms.
-* The basic control predicates such as `,/2`, `;/2`, `->/2` and cut.
-* Full unicode support.
-
-# Status
-
-At this moment the system works OK but it has very few builtin predicates
-and much of what people expect from a working prolog system is still missing.
-
-The list of builtins as of January 13, 2021 is:
-
-* `is/2`
-* `halt/0`
-* `consult/1`
-* `write/1`
-* `read/1`
-* `call/n`
-* `fail/0`
-* `>/2`
-* `==/2`
-* `atom/1`
-* `integer/1`
-* `float/1`
-* `var/1`
-* `compound/1`
-* `term_variables/2`
-
-And the following predicates are implemented in the standard library:
-
-* `=/2`
-* `\=/2`
-* `reverse/2`
-* `samelength/2`
-* `append/3`
-* `member/2`
-* `select/3`
-* `length/2`
-* `nl/0`
-* `phrase/2`
-* `\+/2`
-* `false/0`
-* `true/0`
-* `repeat/0`
-* `once/1`
-* `,/2`
-* `;/2`
-* `->/2`
-* `=\=/2`
-
-and many more all listed [here](https://git.sr.ht/~pmikkelsen/pprolog/tree/master/item/stdlib.pl).
diff --git a/sites/prolog.pmikkelsen.com/source.md b/sites/prolog.pmikkelsen.com/source.md
deleted file mode 100644
index e69de29..0000000
--- a/sites/prolog.pmikkelsen.com/source.md
+++ /dev/null