Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Scryer Prolog

< >

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

#897on PLDB 8Years Old
Download source code:
git clone https://github.com/mthom/scryer-prolog
HomepageREPLSource Code

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.


- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v161.0.4