Repository navigation

#

prolog-programming-language

Rust
2193
12 小时前

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Prolog
302
5 个月前

A compact, efficient Prolog interpreter written in plain-old C.

C
294
11 小时前

An online IDE for visual programming in Prolog

JavaScript
240
4 天前

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Common Lisp
102
4 年前

⚔ Game of Thrones character database and family trees in Prolog

Prolog
69
6 年前

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

44
2 年前

Principles of AI concepts from the curriculum

Python
38
1 年前

Yet another Java based Prolog engine

Java
30
2 个月前

SWI-Prolog Logical Programming Languages

Prolog
16
7 年前

Expert system in Prolog for diagnosis of mental disorders.

Prolog
15
4 年前

(ARCHIVED) Programacion Lógica y funcional

Prolog
12
5 个月前

A tool for drawing derivation trees of Tau Prolog

JavaScript
11
3 年前