A modern Prolog implementation written mostly in Rust.
-
Updated
May 13, 2024 - Rust
A modern Prolog implementation written mostly in Rust.
Logica is a logic programming language that compiles to SQL. It runs on 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.
⚔️ Game of Thrones character database and family trees in Prolog
A compact, efficient Prolog interpreter written in plain-old C.
ALS Prolog Compiler & Development Environment
Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
Javascript porting of Paul Tarau latest Prolog Engine architecture
Basic implementation in prolog
☕ Repositório destinado ao projeto Equations Solver da disciplina de PLP - 2018.2
hitchhiker Prolog - an implementation of a novel virtual machine
TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption
In this project we attempt to implement a Prolog solution using an external database (a simple text file) to represent the knowledge.
This is a simulation of a network firewall developed using Prolog.
An interactive Electives Advisory System in Prolog from scratch.
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
A small logic programming language.
Add a description, image, and links to the prolog-implementation topic page so that developers can more easily learn about it.
To associate your repository with the prolog-implementation topic, visit your repo's landing page and select "manage topics."