prolog-implementation

A modern Prolog implementation written mostly in Rust.

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

An open source Prolog interpreter in JavaScript

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

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

⚔ Game of Thrones character database and family trees in Prolog

Minimal Prolog implemented in Rust

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

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

Javascript porting of Paul Tarau latest Prolog Engine architecture

A small logic programming language.

ALS Prolog Compiler & Development Environment

Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler

Prolog Implementation in Python

hitchhiker Prolog - an implementation of a novel virtual machine

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

Implementation of Prolog

prolog interpreter in ocaml

A simple Prolog implementation written in ReasonML.

Shumilog - a partial Prolog implementation