A modern Prolog implementation written mostly in Rust.

• UpdatedJul 17, 2025
• Rust

An open source Prolog interpreter in JavaScript

• UpdatedJan 30, 2023
• JavaScript

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

• UpdatedJun 21, 2025
• Prolog

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

• UpdatedJul 18, 2025
• C

An online IDE for visual programming in Prolog

• UpdatedJun 13, 2025
• JavaScript

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

• UpdatedSep 28, 2021
• Common Lisp

⚔️ Game of Thrones character database and family trees in Prolog

• UpdatedApr 15, 2019
• Prolog

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

• UpdatedAug 17, 2023

Principles of AI concepts from the curriculum

• UpdatedMar 14, 2024
• Python

NephroDoctor: A simple Medical Expert System written in Prolog

• UpdatedJul 11, 2018
• Prolog

Yet another Java based Prolog engine

• UpdatedJul 2, 2025
• Java

Expert system in Prolog for diagnosis of mental disorders.

• UpdatedJan 10, 2021
• Prolog

SWI-Prolog Logical Programming Languages

• UpdatedMar 15, 2018
• Prolog

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

• UpdatedApr 17, 2023
• Java

ALS Prolog Compiler & Development Environment

• UpdatedApr 23, 2025
• C

(ARCHIVED) Programacion Lógica y funcional

• UpdatedDec 3, 2024
• Prolog

SWI-Prolog Tutorial

• UpdatedJun 1, 2023
• Prolog

Prolog Examples with Solutions

• UpdatedSep 29, 2018
• Prolog

A tool for drawing derivation trees of Tau Prolog

• UpdatedFeb 23, 2022
• JavaScript

Java based Edinburgh Prolog parser

• UpdatedJun 24, 2025
• Prolog