Topic: "prolog-interpreter"
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 10.2 MB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 2,295 - Forks: 155
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: 9 days ago - Pushed at: almost 3 years ago - Stars: 620 - Forks: 58
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 5.6 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 321 - Forks: 22
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: 15.3 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 315 - Forks: 24
twolodzko/prolog-rs
Minimal Prolog implemented in Rust
Language: Rust - Size: 114 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 45 - Forks: 1
s-webber/projog
Prolog programming for the Java platform.
Language: Java - Size: 3.29 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 38 - Forks: 9
nicoladileo/NephroDoctor
NephroDoctor: A simple Medical Expert System written in Prolog
Language: Prolog - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 27 - Forks: 2
robjsliwa/pyprolog
Prolog implemented in Python
Language: Python - Size: 140 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 5
jdswalker/Interpreter-in-Prolog
An interpreter capable of executing a simple scripting language from a plain-text file
Language: Prolog - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 13 - Forks: 3
catseye/Cardboard-Prolog
MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme
Language: Scheme - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 1
jsakamoto/Prolog-on-Browser
This is the Prolog interactive interpreter running on a Web browser!
Language: C# - Size: 9.45 MB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 0
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
murshidazher/restaurant-expert-system
:plate_with_cutlery: A simple expert system which recommends food menu based on user preferences.
Language: Prolog - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 7
luciangreen/listprologinterpreter
A Prolog Interpreter written in Prolog.
Language: Prolog - Size: 1000 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 3
KiJeong-Lim/PlanHol
a Programming LANguage with Higher-Order Logic
Language: Haskell - Size: 298 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
RISHIT7/Prolog-Interpreter
A Mini Prolog interpreter written in OCaml
Language: OCaml - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
adamjstewart/prolog
An implementation of Prolog written in OCaml
Language: OCaml - Size: 277 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 4
logicmoo/flux
FLUX: A logic programming method for reasoning agents
Language: Prolog - Size: 1.17 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1
Dkpetrov/agent-flux
FluxAI is a developer-focused framework designed to build and optimize AI agents that enhance structured task execution with RAG, HITL, and COT integration.
Size: 1.95 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 0
tau-prolog/notebook
A web-based notebook environment for Tau Prolog
Language: JavaScript - Size: 66.4 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0
maresmar/ProCplusLog
Prolog interpret in C++
Language: C++ - Size: 253 KB - Last synced at: 25 days ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 0
fabasoad/setup-prolog-action
This GitHub action installs Prolog
Language: Shell - Size: 39.1 KB - Last synced at: 18 days ago - Pushed at: 19 days ago - Stars: 2 - Forks: 1
tanishqg5325/Prolog-Interpreter
Prolog Interpreter in OCaml
Language: OCaml - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
ejrh/qolog
A toy Prolog interpreter
Language: Python - Size: 65.4 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
dsmic/PythonProlog
Prolog interpreter written in Python.
Language: Python - Size: 86.9 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
Anidipta/Prolog
College 4th Sem Lab Stuffs
Language: Prolog - Size: 238 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1
AhmedNassar7/Prolog-Wordle
A simple clone of Wordle implemented in Prolog.
Language: Prolog - Size: 2.93 KB - Last synced at: 7 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
Kr1s1m/Prolog-Interpreter
Prolog interpreter univeristy project
Language: Haskell - Size: 32.2 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
dogeMcdogeface/BacktraceToolsJS
A browser based PROLOG interpreter.
Language: JavaScript - Size: 5.11 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
tom-weatherhead/thaw-interpreter
Programming language interpreters, including LISP, Scheme, and Prolog.
Language: TypeScript - Size: 1000 KB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
zakski/project-soisceal
Slimline Fork of tuProlog ported to scala
Language: TeX - Size: 509 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
tau-prolog/sandbox
An online Tau Prolog sandbox
Language: PHP - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 2
mikeroyal/Prolog-Guide
Prolog Guide
Language: Prolog - Size: 3.91 KB - Last synced at: 7 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
s7rthak/Prolog-interpreter-in-OCaml
Prolog-Interpreter-in-OCaml
Language: OCaml - Size: 253 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
itsMaz1n/Prolog
Prolog Programming
Language: Prolog - Size: 4.88 KB - Last synced at: 5 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
fergusq/qlog
Prolog-like programming language
Language: Haskell - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
samarthaggarwal/Programming-Languages
A collection of assignments done in COL226 - Programming Languages
Language: OCaml - Size: 1.25 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
djin31/Toy-Prolog-Interpreter
This is an interpreter written in OCaml for a subset of Prolog instruction set.
Language: OCaml - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
SnipyJulmy/SkalaLog
Prolog interpreter written in Scala
Language: Scala - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
kevinnjagi44/prolog-sb0
🧠Explore Prolog with sb0, a streamlined environment for developing logic-based applications and enhancing your programming skills.
Language: Python - Size: 1.34 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
uprun/egalite-ai
local chat-like reasoning with Prolog
Language: HTML - Size: 24.4 KB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
vuonghy2442/simple-prolog
A simple prolog interpreter in Python
Language: Python - Size: 120 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
ashcode028/NLI-electives-system
a small natural language interface in Python
Language: Prolog - Size: 405 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
tom-weatherhead/katalog
A small Prolog interpreter
Language: C - Size: 168 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
NoHomey/prolog-interpreter
Basic Prolog interpreter written in Haskell for the Functional programming course in univeristy (FMI at SU)
Language: Haskell - Size: 89.8 KB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
zakski/thunderjaw Fork of tuProlog/2p-kt
Slimline Fork of tuProlog ported to scala
Size: 4.04 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
gpiancastelli/prologlib
An ISO Prolog processor written in Python 3
Language: Python - Size: 107 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
fixxxedpoint/hiProlog
A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.
Language: Haskell - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
recurze/Toy-Prolog-Interpreter
A prolog interpreter in Ocaml
Language: OCaml - Size: 36.1 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
techcentaur/COL226-Assignments
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
Language: OCaml - Size: 44.9 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
anubhav-10/Programming-Languages-Assignments
Programming Languages assignments
Language: OCaml - Size: 639 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
Skgland/FP-Softwareprojekt 📦
The mandatory Softwareprojekt to the FortProg Course
Language: Haskell - Size: 160 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
swapnil96/Toy-Prolog-Interpreter
Prolog interpreter for simple queries
Language: OCaml - Size: 26.4 KB - Last synced at: 5 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 2
