Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
iso-prolog-standard javascript logic-programming prolog prolog-implementation prolog-interpreter prolog-programming-language tau-prolog
Last synced: 30 May 2024
![](https://github.com/tau-prolog.png)
https://github.com/mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language rust
Last synced: 27 May 2024
![](https://github.com/mthom.png)
https://github.com/ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine
Last synced: 26 May 2024
![](https://github.com/ciao-lang.png)
https://github.com/tau-prolog/notebook
A web-based notebook environment for Tau Prolog
notebook prolog prolog-application prolog-interpreter tau-prolog
Last synced: 16 Mar 2024
![](https://github.com/tau-prolog.png)