prolog-implementation
There are 62 repositories under prolog-implementation topic.
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
twolodzko/prolog-rs
Minimal Prolog implemented in Rust
EricZinda/InductorHtn
Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
rm-hull/wam
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
CapelliC/hitchhicker-prolog
Javascript porting of Paul Tarau latest Prolog Engine architecture
AppliedLogicSystems/ALSProlog
ALS Prolog Compiler & Development Environment
lambduli/minilog
A small logic programming language.
EricZinda/InductorProlog
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
evertheylen/logicpy
Prolog Implementation in Python
CapelliC/hhprolog
hitchhiker Prolog - an implementation of a novel virtual machine
harshjuly12/SWI-Prolog
This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.
eazar001/bfg-prolog
Implementation of Prolog
epilys/ocaml-prolog
prolog interpreter in ocaml
eignnx/thoreaulog
A simple Prolog implementation written in ReasonML.
jElhamm/100-Projects-for-Prolog
"The repository '100 Mini Projects for Prolog' includes small projects for learning and practicing Prolog."
qnighy/shumilog
Shumilog - a partial Prolog implementation
brunokim/logic-engine
Engine for logic programming in Go
mourats/Equations-Solver-Project
☕ Repositório destinado ao projeto Equations Solver da disciplina de PLP - 2018.2
syukrimullia/tabdual-plus
TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption
zakonweb/declarative-prolog-code-A2
PROLOG Codes for A2
ejrh/qolog
A toy Prolog interpreter
elaaatif/EXPERT-SYSTEM-MOVIES-SERIES-SUGGESTION
This Prolog project is a movie and series recommendation system that suggests personalized movies or series based on user preferences such as age, mood, preferred director, and streaming platform. The system utilizes a database of movies and series, and it allows users to input their criteria to receive recommendations.
uhop/yopl
No dependency mini-library: rule-based logical solvers.
Ye11ow-Flash/Prolog-Code
Basic implementation in prolog
Danilo019/Paradigma-L-gico-e-Programa-o-em-Prolog
Este repositório contém um projeto acadêmico desenvolvido para a disciplina de Paradigmas de Programação do curso de Ciências da Computação. O objetivo do projeto é explorar o paradigma lógico de programação, utilizando a linguagem Prolog para resolver problemas de lógica e modelagem de conhecimento.
MayankJasoria/Firewall-Simulation
This is a simulation of a network firewall developed using Prolog.
neelkshah/Prolog-assignment
Poetry Detection and Generation using Logic Programming in Prolog
proyect-IA/knowledge-base
In this project we attempt to implement a Prolog solution using an external database (a simple text file) to represent the knowledge.
uprun/egalite-ai
local chat-like reasoning with Prolog