A modern Prolog implementation written mostly in Rust.
Rust 2.24 k
19 天前
An open source Prolog interpreter in JavaScript
JavaScript 607
2 年前
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Prolog 304
10 天前
A compact, efficient Prolog interpreter written in plain-old C.
C 297
3 天前
ALS Prolog Compiler & Development Environment
C 16
2 个月前
An ISO Prolog dictionary, implemented as an incomplete binary search tree.
Prolog 7
7 个月前
Prolog is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about som...
Prolog 0
4 年前