6 results found Sort:

mthom
scryer-prolog mthom
140
2.2k
bsd-3-clause
53
A modern Prolog implementation written mostly in Rust.
rust prolog prolog-interpreter iso-prolog-standard prolog-implementation prolog-programming-language
Created 2016-10-29
4,057 commits to master branch, last one 21 days ago
EvgSkv
logica EvgSkv
101
2.0k
apache-2.0
38
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
sql trino logica presto prolog sqlite datalog bigquery language postgresql logic-programming prolog-implementation
Created 2020-10-09
1,075 commits to main branch, last one 8 days ago
tau-prolog
tau-prolog tau-prolog
55
595
bsd-3-clause
23
An open source Prolog interpreter in JavaScript
prolog javascript tau-prolog logic-programming prolog-interpreter iso-prolog-standard prolog-implementation prolog-programming-language
Created 2017-11-26
700 commits to master branch, last one 2 years ago
ciao-lang
ciao ciao-lang
23
300
lgpl-3.0
20
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
clp logic prolog bytecode compiler ciao-prolog constraints interpreter prolog-compiler virtual-machine logic-programming prolog-interpreter iso-prolog-standard programming-language prolog-implementation prolog-programming-language
Created 2015-12-07
2,154 commits to master branch, last one 4 months ago
trealla-prolog
trealla trealla-prolog
18
289
mit
14
A compact, efficient Prolog interpreter written in plain-old C.
c prolog prolog-interpreter iso-prolog-standard prolog-implementation prolog-programming-language
Created 2022-08-08
5,193 commits to main branch
twolodzko
prolog-rs twolodzko
1
43
unknown
1
Minimal Prolog implemented in Rust
rust prolog rust-lang prolog-interpreter prolog-implementation
Created 2024-09-06
14 commits to main branch, last one 6 months ago