From: Mark Thom Date: Sun, 5 Mar 2017 02:52:54 +0000 (-0700) Subject: fix to README X-Git-Tag: v0.8.110~760 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bad608a202451f8c8f60e3ecc58360759e05723f;p=scryer-prolog.git fix to README --- diff --git a/README.md b/README.md index 1d200ff0..b679c852 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ pure Prolog. ## Progress The language L3 is implemented as a simple REPL. L3 is pure Prolog -- -Prolog without cuts, meta- or extra-logical operators, or side effects +Prolog without cut, meta- or extra-logical operators, or side effects of any kind. No data types apart from atoms are currently supported. ## Tutorial