7 results found Sort:

123
2.1k
bsd-3-clause
53
A modern Prolog implementation written mostly in Rust.
Created 2016-10-29
3,915 commits to master branch, last one 8 days ago
55
580
bsd-3-clause
24
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,721 commits to main branch, last one 22 hours ago
21
273
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 7 days ago
An online IDE for visual programming in Prolog
Created 2023-01-05
50 commits to main branch, last one about a year ago
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Created 2015-02-05
404 commits to master branch, last one 3 years ago
Principles of AI concepts from the curriculum
Created 2024-01-30
9 commits to main branch, last one 8 months ago