From: Mark Thom Date: Mon, 29 Jan 2018 00:37:00 +0000 (-0700) Subject: add item to README X-Git-Tag: v0.8.110~597 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f72ad860c67243adaed909d0f9d112e77bf9b1ac;p=scryer-prolog.git add item to README --- diff --git a/README.md b/README.md index 56b71d28..4a68be18 100644 --- a/README.md +++ b/README.md @@ -24,6 +24,7 @@ Extend rusty-wam to include the following, among other features: * Built-in predicates for list processing and top-level declarative control (`setup_call_control/3`, `call_with_inference_limit/3`, etc.) +* Add a rudimentary module system. * Attributed variables using the SICStus Prolog interface and semantics. Adding coroutines like `dif/2`, `freeze/2`, etc. is straightforward with attributed variables.