Search Results - RepositoryStats

scryer-prolog mthom

129

2.1k

bsd-3-clause

55

A modern Prolog implementation written mostly in Rust.

rust prolog prolog-interpreter iso-prolog-standard prolog-implementation prolog-programming-language

Created 2016-10-29

3,978 commits to master branch, last one 5 days ago

logica EvgSkv

98

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.

sql trino logica presto prolog sqlite datalog bigquery language postgresql logic-programming prolog-implementation

Created 2020-10-09

1,038 commits to main branch, last one 22 days ago

tau-prolog tau-prolog

54

580

bsd-3-clause

24

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 about a year ago

ciao ciao-lang

22

281

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.

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 about a month ago

trealla trealla-prolog

13

278

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

4,921 commits to main branch, last one 9 days ago

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 3 months ago