A modern Prolog implementation written mostly in Rust.

• UpdatedJul 17, 2025
• Rust

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

• UpdatedJul 5, 2025
• Jupyter Notebook

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

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

• UpdatedApr 15, 2019
• Prolog

Minimal Prolog implemented in Rust

• UpdatedSep 24, 2024
• Rust

Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine

• UpdatedSep 10, 2024
• C++

Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction

• UpdatedOct 6, 2018
• Clojure

Javascript porting of Paul Tarau latest Prolog Engine architecture

• UpdatedNov 6, 2018
• JavaScript

A small logic programming language.

• UpdatedMay 14, 2024
• Haskell

ALS Prolog Compiler & Development Environment

• UpdatedApr 23, 2025
• C

Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler

• UpdatedDec 4, 2023
• C++

Prolog Implementation in Python

• UpdatedDec 28, 2017
• Python

hitchhiker Prolog - an implementation of a novel virtual machine

• UpdatedMay 6, 2023
• C++

This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.

• UpdatedOct 11, 2024
• Prolog

Implementation of Prolog

• UpdatedFeb 19, 2020
• Rust

prolog interpreter in ocaml

• UpdatedAug 19, 2022
• OCaml

A simple Prolog implementation written in ReasonML.

• UpdatedJan 3, 2023
• Reason

Shumilog - a partial Prolog implementation

• UpdatedJul 16, 2014
• Haskell