6 results found Sort:

mthom
scryer-prolog mthom
114
1.9k
bsd-3-clause
52
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,760 commits to master branch, last one 6 days ago
tau-prolog
tau-prolog tau-prolog
53
559
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-lang
ciao ciao-lang
18
249
lgpl-3.0
22
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
1,925 commits to master branch, last one 3 months ago
trealla-prolog
trealla trealla-prolog
11
236
mit
11
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,154 commits to main branch, last one 3 days ago
toblotron
praxis-ide toblotron
10
230
mit
4
An online IDE for visual programming in Prolog
prolog low-code online-idecode-editor visual-programming-editor prolog-programming-language
Created 2023-01-05
50 commits to main branch, last one 10 months ago
logicmoo
wam_common_lisp logicmoo
8
97
mit
21
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
oop swi lisp prolog greenspun swi-prolog yap-prolog common-lisp lisp-compiler lisp-interpreter prolog-programmers swi-prolog-library object-oriented-programming prolog-programming-language
Created 2015-02-05
404 commits to master branch, last one 2 years ago