diff options
Diffstat (limited to 'sites/prolog.pmikkelsen.com')
| -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: |