prolog-programming-language topic

List prolog-programming-language repositories

tau-prolog

559
Stars
53
Forks
Watchers

An open source Prolog interpreter in JavaScript

ciao

246
Stars
18
Forks
Watchers

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

scryer-prolog

1.9k
Stars
112
Forks
Watchers

A modern Prolog implementation written mostly in Rust.

wam_common_lisp

96
Stars
8
Forks
Watchers

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

GoT-Check

68
Stars
13
Forks
Watchers

:crossed_swords: Game of Thrones character database and family trees in Prolog

logicmoo_workspace

44
Stars
8
Forks
Watchers

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

jprol

29
Stars
4
Forks
Watchers

Yet another Java based Prolog engine

praxis-ide

230
Stars
10
Forks
Watchers

An online IDE for visual programming in Prolog

ALSProlog

16
Stars
9
Forks
Watchers

ALS Prolog Compiler & Development Environment

NephroDoctor

30
Stars
2
Forks
Watchers

NephroDoctor: A simple Medical Expert System written in Prolog