Scryer Prolog is a programming language created in 2016 by Mark Thom.
#897on PLDB | 8Years Old |
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.