diff options
| author | glenda <glenda@9front.local> | 2021-01-13 02:57:02 +0000 |
|---|---|---|
| committer | glenda <glenda@9front.local> | 2021-01-13 02:57:02 +0000 |
| commit | b5b6c3faa44a93c0d57ffe58d8452acbcd4f3213 (patch) | |
| tree | ddff2da38aa139342e6008b70272cbd88eb30d33 | |
| parent | edf6865f28540b1ad02c2a6f74c20c04a64e3bba (diff) | |
Update pprolog index page
| -rw-r--r-- | sites/prolog.pmikkelsen.com/index.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/sites/prolog.pmikkelsen.com/index.md b/sites/prolog.pmikkelsen.com/index.md index 4f21c8d..4cd72ca 100644 --- a/sites/prolog.pmikkelsen.com/index.md +++ b/sites/prolog.pmikkelsen.com/index.md @@ -8,16 +8,18 @@ experimentation. # Features -* A base system based on the WAM (Warren abstract machine) implemented by following the book [here](http://wambook.sourceforge.net/wambook.pdf). +* 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 +* 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 when people expect from a working prolog system is still missing. +and much of what people expect from a working prolog system is still missing. The list of builtins as of January 13, 2021 is: |