Scryer Prolog - Programming language

Scryer Prolog is a programming language created in 2016 by Mark Thom.

#887on PLDB

8Years Old

Download source code:

git clone https://github.com/mthom/scryer-prolog

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.

Tags: programming language
Scryer Prolog is developed on GitHub and has 1,969 stars
Scryer Prolog is an implementation of Prolog
Scryer Prolog is written in Prolog, Rust, TOML, JSON, Markdown, YAML, SVG, Lisp, Dockerfile, Bourne shell