From ca43a5b8e0bbcfce897599ad179398978879393f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 26 May 2017 12:48:09 -0600 Subject: [PATCH] update README --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index c73b1f17..2c4895de 100644 --- a/README.md +++ b/README.md @@ -36,9 +36,12 @@ Extend rusty-wam to include the following, among other features: ## Phase 3 -Use the WAM code generated by the completed code generator to target LLVM +Use the WAM code produced by the completed code generator to target LLVM IR to get JIT-compiled and -executed Prolog programs. +It's my hope to use rusty-wam as the logic engine of a low level (and +ideally, very fast) Shen implementation. + ## Tutorial To enter a multi-clause predicate, the brackets ":{" and "}:" are used as delimiters. They must be contained entirely within their own lines. -- 2.54.0