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.
翻译 - Logica是一种逻辑编程语言，可编译为StandardSQL并在Google BigQuery上运行。
An open source Prolog interpreter in JavaScript
翻译 - JavaScript中的开源Prolog解释器
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
ALS Prolog Compiler & Development Environment
A small logic programming language.
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
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.
A simple Prolog implementation written in ReasonML.
