prolog-implementation

A modern Prolog implementation written mostly in Rust.

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

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.

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

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

Javascript porting of Paul Tarau latest Prolog Engine architecture

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

Prolog Implementation in Python

prolog interpreter in ocaml

hitchhiker Prolog - an implementation of a novel virtual machine

A small relational (logic) programming language.

Implementation of Prolog

A simple Prolog implementation written in ReasonML.

Shumilog - a partial Prolog implementation

Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler

Basic implementation in prolog

☕ Repositório destinado ao projeto Equations Solver da disciplina de PLP - 2018.2

TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption

No dependency mini-library: rule-based logical solvers.