From 82f0f7c7feecb5b2c510bd3eb8d8a4ca343a6a69 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 25 Feb 2018 12:48:54 -0700 Subject: [PATCH] updated blurbs --- README.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8c537b14..738f3e9e 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,10 @@ # rusty-wam +rusty-wam aims to become to Prolog what GHC is to Haskell: an open +source industrial strength production environment that is also a +testbed for bleeding edge research in logic and constraint +programming, which is itself written in a high-level language. + ## Phase 1 Produce an implementation of the Warren Abstract Machine in Rust, done @@ -37,8 +42,9 @@ Extend rusty-wam to include the following, among other features: ## Phase 3 -Use the WAM code produced by the completed code generator to target LLVM -IR to get JIT-compiled and -executed Prolog programs. +Use the WAM code produced by the completed code generator to get +JIT-compiled and -executed Prolog programs. The question of how to get +assembly from WAM code is something I'm still considering. It's my hope to use rusty-wam as the logic engine of a low level (and ideally, very fast) [Shen](http://shenlanguage.org) implementation. -- 2.54.0