From: Mark Thom Date: Sat, 24 Mar 2018 17:42:26 +0000 (-0600) Subject: update README X-Git-Tag: v0.8.110~515 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=261bb15bdf24446797a9005ea500f2d5c6aa432b;p=scryer-prolog.git update README --- diff --git a/README.md b/README.md index 0b1b996f..51732fa1 100644 --- a/README.md +++ b/README.md @@ -30,6 +30,7 @@ Extend rusty-wam to include the following, among other features: control (`setup_call_control/3`, `call_with_inference_limit/3`, etc.) (_done_). * A rudimentary module system (_done_). +* Definite Clause Grammars (_in progress_). * Attributed variables using the SICStus Prolog interface and semantics. Adding coroutines like `dif/2`, `freeze/2`, etc. is straightforward with attributed variables.