6 results found Sort:

139
2.2k
bsd-3-clause
52
A modern Prolog implementation written mostly in Rust.
Created 2016-10-29
4,037 commits to master branch, last one 2 days ago
101
1.9k
apache-2.0
37
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Created 2020-10-09
1,070 commits to main branch, last one 10 days ago
54
587
bsd-3-clause
24
An open source Prolog interpreter in JavaScript
Created 2017-11-26
700 commits to master branch, last one 2 years ago
23
293
lgpl-3.0
21
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,154 commits to master branch, last one 3 months ago
A compact, efficient Prolog interpreter written in plain-old C.
Created 2022-08-08
5,011 commits to main branch, last one a day ago
Minimal Prolog implemented in Rust
Created 2024-09-06
14 commits to main branch, last one 5 months ago