Modern Prolog Implemented in Rust

Phase 1 has been completed in that Scryer Prolog implements in some form all of the WAM book, including lists, cuts, Debray allocation, first argument indexing, last call optimization and conjunctive queries. Extend Scryer Prolog to include the following, among other features:

Use the WAM code produced by the completed code generator to get JIT-compiled and -executed Prolog programs. Further, if a free variable, unifying against another string, “def” in this case, produces the equations

Scryer has a simple predicate-based module system.

Source: github.com