Bug#1009086: RFP: scryer-prolog - An open-Source industrial strength production prolog implementation

[Philipp Marek <philipp@marek.priv.at>]

Package: wnpp
Severity: wishlist

  Package name    : scryer-prolog
  Version         : 0.9.0
  Upstream Author : Mark Thom <markjordanthom@gmail.com>
  URL             : https://github.com/mthom/scryer-prolog
  License         : BSD-3-Clause License
  Programming Lang: Rust
  Description     : An open-Source industrial strength production prolog 
implementation


Scryer Prolog aims to become to ISO 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 
according to the progression of languages in Warren's Abstract Machine: 
A Tutorial Reconstruction.

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.