From 78afe041e51e54a72c34ee4b25dc3a8af0cc776a Mon Sep 17 00:00:00 2001 From: glenda Date: Wed, 13 Jan 2021 09:27:40 +0000 Subject: Move prolog page to pprolog.org --- sites/pprolog.org/_werc/config | 3 + sites/pprolog.org/_werc/lib/footer.inc | 1 + sites/pprolog.org/_werc/lib/top_bar.inc | 7 +++ sites/pprolog.org/_werc/pub/style.css | 67 +++++++++++++++++++++++ sites/pprolog.org/about.md | 0 sites/pprolog.org/documentation.md | 0 sites/pprolog.org/index.md | 64 ++++++++++++++++++++++ sites/pprolog.org/source.md | 0 sites/prolog.pmikkelsen.com/_werc/config | 3 - sites/prolog.pmikkelsen.com/_werc/lib/footer.inc | 1 - sites/prolog.pmikkelsen.com/_werc/lib/top_bar.inc | 7 --- sites/prolog.pmikkelsen.com/_werc/pub/style.css | 67 ----------------------- sites/prolog.pmikkelsen.com/about.md | 0 sites/prolog.pmikkelsen.com/documentation.md | 0 sites/prolog.pmikkelsen.com/index.md | 64 ---------------------- sites/prolog.pmikkelsen.com/source.md | 0 16 files changed, 142 insertions(+), 142 deletions(-) create mode 100644 sites/pprolog.org/_werc/config create mode 100644 sites/pprolog.org/_werc/lib/footer.inc create mode 100644 sites/pprolog.org/_werc/lib/top_bar.inc create mode 100644 sites/pprolog.org/_werc/pub/style.css create mode 100644 sites/pprolog.org/about.md create mode 100644 sites/pprolog.org/documentation.md create mode 100644 sites/pprolog.org/index.md create mode 100644 sites/pprolog.org/source.md delete mode 100644 sites/prolog.pmikkelsen.com/_werc/config delete mode 100644 sites/prolog.pmikkelsen.com/_werc/lib/footer.inc delete mode 100644 sites/prolog.pmikkelsen.com/_werc/lib/top_bar.inc delete mode 100644 sites/prolog.pmikkelsen.com/_werc/pub/style.css delete mode 100644 sites/prolog.pmikkelsen.com/about.md delete mode 100644 sites/prolog.pmikkelsen.com/documentation.md delete mode 100644 sites/prolog.pmikkelsen.com/index.md delete mode 100644 sites/prolog.pmikkelsen.com/source.md diff --git a/sites/pprolog.org/_werc/config b/sites/pprolog.org/_werc/config new file mode 100644 index 0000000..bc8c0e5 --- /dev/null +++ b/sites/pprolog.org/_werc/config @@ -0,0 +1,3 @@ +masterSite=prolog.pmikkelsen.com +siteTitle='PProlog' +siteSubTitle='A prolog for plan9' diff --git a/sites/pprolog.org/_werc/lib/footer.inc b/sites/pprolog.org/_werc/lib/footer.inc new file mode 100644 index 0000000..07991c9 --- /dev/null +++ b/sites/pprolog.org/_werc/lib/footer.inc @@ -0,0 +1 @@ +Powered by werc © Peter Mikkelsen 2019-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 new file mode 100644 index 0000000..75c69ca --- /dev/null +++ b/sites/pprolog.org/_werc/lib/top_bar.inc @@ -0,0 +1,7 @@ +
+ pprolog source code | + 9front +
+ +
+
diff --git a/sites/pprolog.org/_werc/pub/style.css b/sites/pprolog.org/_werc/pub/style.css new file mode 100644 index 0000000..10935fb --- /dev/null +++ b/sites/pprolog.org/_werc/pub/style.css @@ -0,0 +1,67 @@ +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/pprolog.org/about.md b/sites/pprolog.org/about.md new file mode 100644 index 0000000..e69de29 diff --git a/sites/pprolog.org/documentation.md b/sites/pprolog.org/documentation.md new file mode 100644 index 0000000..e69de29 diff --git a/sites/pprolog.org/index.md b/sites/pprolog.org/index.md new file mode 100644 index 0000000..4cd72ca --- /dev/null +++ b/sites/pprolog.org/index.md @@ -0,0 +1,64 @@ +# 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/pprolog.org/source.md b/sites/pprolog.org/source.md new file mode 100644 index 0000000..e69de29 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 @@ -Powered by werc © 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 @@ -
- pprolog source code | - 9front -
- -
-
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 diff --git a/sites/prolog.pmikkelsen.com/documentation.md b/sites/prolog.pmikkelsen.com/documentation.md deleted file mode 100644 index e69de29..0000000 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 -- cgit v1.2.3