From b5b6c3faa44a93c0d57ffe58d8452acbcd4f3213 Mon Sep 17 00:00:00 2001 From: glenda Date: Wed, 13 Jan 2021 02:57:02 +0000 Subject: Update pprolog index page --- sites/prolog.pmikkelsen.com/index.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'sites/prolog.pmikkelsen.com') 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: -- cgit v1.2.3