6 results found Sort:
- Filter by Primary Language:
- Rust (2)
- C (1)
- JavaScript (1)
- Jupyter Notebook (1)
- Prolog (1)
- +
A modern Prolog implementation written mostly in Rust.
Created
2016-10-29
3,908 commits to master branch, last one 8 days ago
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Created
2020-10-09
1,027 commits to main branch, last one a day ago
An open source Prolog interpreter in JavaScript
Created
2017-11-26
700 commits to master branch, last one about a year ago
A compact, efficient Prolog interpreter written in plain-old C.
Created
2022-08-08
4,645 commits to main branch, last one a day ago
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Created
2015-12-07
2,131 commits to master branch, last one 24 days ago
Minimal Prolog implemented in Rust
Created
2024-09-06
14 commits to main branch, last one about a month ago