Topic: "prolog-implementation"
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 9.18 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2,235 - Forks: 150
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Language: Jupyter Notebook - Size: 6.58 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1,970 - Forks: 103
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: about 3 hours ago - Pushed at: over 2 years ago - Stars: 608 - Forks: 56
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.
Language: Prolog - Size: 13 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 303 - Forks: 23
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 4.84 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 296 - Forks: 21
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
Language: Prolog - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 65 - Forks: 13
twolodzko/prolog-rs
Minimal Prolog implemented in Rust
Language: Rust - Size: 109 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 43 - Forks: 1
EricZinda/InductorHtn
Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
Language: C++ - Size: 399 KB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 39 - Forks: 7
rm-hull/wam
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
Language: Clojure - Size: 147 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 27 - Forks: 1
CapelliC/hitchhicker-prolog
Javascript porting of Paul Tarau latest Prolog Engine architecture
Language: JavaScript - Size: 201 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 18 - Forks: 3
lambduli/minilog
A small logic programming language.
Language: Haskell - Size: 89.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 1
AppliedLogicSystems/ALSProlog
ALS Prolog Compiler & Development Environment
Language: C - Size: 29.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 9
EricZinda/InductorProlog
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
Language: C++ - Size: 224 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 4
evertheylen/logicpy
Prolog Implementation in Python
Language: Python - Size: 46.9 KB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 0
harshjuly12/SWI-Prolog
This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.
Language: Prolog - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 9 - Forks: 3
epilys/ocaml-prolog 📦
prolog interpreter in ocaml
Language: OCaml - Size: 64.5 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1
eazar001/bfg-prolog
Implementation of Prolog
Language: Rust - Size: 168 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0
CapelliC/hhprolog
hitchhiker Prolog - an implementation of a novel virtual machine
Language: C++ - Size: 211 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 1
eignnx/thoreaulog
A simple Prolog implementation written in ReasonML.
Language: Reason - Size: 571 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
GithubRealFan/SimplePrologProjecs
Language: Prolog - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
qnighy/shumilog
Shumilog - a partial Prolog implementation
Language: Haskell - Size: 156 KB - Last synced at: 8 months ago - Pushed at: almost 11 years ago - Stars: 4 - Forks: 0
zakonweb/declarative-prolog-code-A2
PROLOG Codes for A2
Language: Prolog - Size: 3.06 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0
mourats/Equations-Solver-Project
☕ Repositório destinado ao projeto Equations Solver da disciplina de PLP - 2018.2
Language: Haskell - Size: 6.41 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 2
syukrimullia/tabdual-plus
TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption
Language: Prolog - Size: 1.96 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1
uhop/yopl
No dependency mini-library: rule-based logical solvers.
Language: JavaScript - Size: 496 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
brunokim/logic-engine
Engine for logic programming in Go
Language: Go - Size: 1.49 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
Ye11ow-Flash/Prolog-Code
Basic implementation in prolog
Language: Prolog - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 2
ejrh/qolog
A toy Prolog interpreter
Language: Python - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
Mateus-Resende-Ottoni/Prolog
Language: Prolog - Size: 73.2 KB - Last synced at: 3 days ago - Pushed at: 29 days ago - Stars: 1 - Forks: 0
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.
Language: SCSS - Size: 10.7 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 7
jElhamm/100-Projects-for-Prolog
"The repository '100 Mini Projects for Prolog' includes small projects for learning and practicing Prolog."
Language: Prolog - Size: 5.98 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
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.
Language: Prolog - Size: 1.29 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
neelkshah/Prolog-assignment
Poetry Detection and Generation using Logic Programming in Prolog
Language: Prolog - Size: 105 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
MayankJasoria/Firewall-Simulation
This is a simulation of a network firewall developed using Prolog.
Language: Prolog - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
irllyliketoast/Prolog-Problems
A collection of classic AI problems implemented in Prolog, showcasing recursive logic, constraint satisfaction, and pathfinding. Includes solutions for the Eight Queens puzzle, a robot grid navigation challenge, and the Monkey-Banana problem.
Language: Prolog - Size: 23.4 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
rlhinrichs/wumpus
🧌 The Wumpus: Agentic AI - Bayesian Inference and Constraint Satisfaction Programming to guide a free agent using perceptions to search a grid space and perform a task while calculating probabilities of dangers en route
Language: Jupyter Notebook - Size: 37.1 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
pidhii/opium
Language: C++ - Size: 367 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
w-henderson/WebPL
🛠️ A Prolog interpreter for the browser.
Language: Rust - Size: 17.9 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
uprun/egalite-ai
local chat-like reasoning with Prolog
Language: HTML - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
MohamedAymanHosny/Quiz_Online
Combined Quiz System in Prolog is an interactive program featuring: 1- Multiple-Choice Questions (MCQs). 2- True/False Questions. 3- Score Tracking. 4- Input Validation.
Language: Prolog - Size: 5.86 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
joao-tinelli/corleone-family-tree
Family tree of the Corleone family from the famous "The Godfather" series in Prolog.
Language: Prolog - Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
yago-san-fdz/quienesquien_yago
Repositorio para la práctica del juego ¿Quién es Quién? usando Prolog SWI
Language: Prolog - Size: 135 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
julgitt/Prolog-Implementation-In-Ocaml
Prolog parser, lexer and interpreter in Ocaml
Language: OCaml - Size: 47.9 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
gautamop01/CS300-Programming-Language-Paradigms
Haskell and Java Programming Language Course
Language: Haskell - Size: 13.6 MB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
leonardo8787/chat_bot_music_recommendation_prolog
Chat for music recommendation with prolog language.
Language: Prolog - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
MuhammadS25/Prolog-Helper
Implemanted Prolog algorithms
Language: Prolog - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
karish-grover/Electives-Advisory-System-Prolog
An interactive Electives Advisory System in Prolog from scratch.
Language: Prolog - Size: 713 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
RauliL/nobolog
Like Prolog, but for newbies
Language: TypeScript - Size: 397 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
owaismohsin001/SocratesPy
Embedded and integrated constraint logic programming for Python
Language: Python - Size: 234 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
shuvo1997/book-recommend-system
This is a book recommendation system written in prolog. Prolog is a logical programming language used to design in AI
Language: Prolog - Size: 5.72 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
ac-marlon/ProgramacionLogicaProlog
Scripts de ProLog y programación lógica
Language: Prolog - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
emersondtsci/Prolog
Some questions about Prolog
Language: Prolog - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
davidcamperom/Expert-System Fork of byLiTTo/RC-SistemaExperto
Knowledge Representation Theoretical/Practical Project
Size: 8.22 MB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
yoncakaragoz/PrologExamples
Prolog sample projects at entry level
Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
tau-prolog/www.tau-prolog.org
The home of the Tau Prolog website
Language: PHP - Size: 128 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
Dhruval10/Knight-tour-problem
Language: Prolog - Size: 1.11 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
Emreozgun/Prolog_Homeworks
Language: Prolog - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
koromodako/INSA-4IF-Prolog-Abalone Fork of antitoine/INSA-4IF-Prolog-Abalone 📦
Abalone game developped using prolog and packaged with a nice web interface
Language: Prolog - Size: 3.42 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
harunoz/family-tree
Family tree implementation with prolog.
Language: Prolog - Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
elaberge/JScriptLog
GPL JavaScript Prolog implementation
Language: JavaScript - Size: 214 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
jaimedantas/Programming-Assignments-Prolog
Several Programming Assignments of Prolog (2013)
Language: Prolog - Size: 60.5 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
deepvyas/Prolog-Assignment
Language: Prolog - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
