prolog-implementation topic

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

EvgSkv

An open source Prolog interpreter in JavaScript

tau-prolog

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

ciao-lang

A modern Prolog implementation written mostly in Rust.

mthom

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

rachelwiles

Javascript porting of Paul Tarau latest Prolog Engine architecture

CapelliC

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

EricZinda

A small logic programming language.

lambduli

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

rm-hull

ALS Prolog Compiler & Development Environment

AppliedLogicSystems