Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: prolog-interpreter
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 9.74 MB - Last synced: about 24 hours ago - Pushed: 3 days ago - Stars: 1,911 - Forks: 111
luciangreen/listprologinterpreter
A Prolog Interpreter written in Prolog.
Language: Prolog - Size: 1.1 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 4 - Forks: 1
iMaz1n/Prolog
Prolog Programming
Language: Prolog - Size: 4.88 KB - Last synced: 21 days ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced: 11 days ago - Pushed: over 1 year ago - Stars: 557 - Forks: 53
nicoladileo/NephroDoctor
NephroDoctor: A simple Medical Expert System written in Prolog
Language: Prolog - Size: 21.5 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 27 - Forks: 2
vuonghy2442/simple-prolog
A simple prolog interpreter in Python
Language: Python - Size: 120 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
logicmoo/flux
FLUX: A logic programming method for reasoning agents
Language: Prolog - Size: 1.17 MB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 1
robjsliwa/pyprolog
Prolog implemented in Python
Language: Python - Size: 118 KB - Last synced: 2 months ago - Pushed: almost 2 years ago - Stars: 5 - Forks: 0
Skgland/FP-Softwareprojekt 📦
The mandatory Softwareprojekt to the FortProg Course
Language: Haskell - Size: 160 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
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.6 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 234 - Forks: 17
AhmedNassar7/Prolog-Wordle
A simple clone of Wordle implemented in Prolog.
Language: Prolog - Size: 2.93 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
s-webber/projog
Prolog programming for the Java platform.
Language: Java - Size: 3.26 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 26 - Forks: 8
jsakamoto/Prolog-on-Browser
This is the Prolog interactive interpreter running on a Web browser!
Language: C# - Size: 9.45 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 8 - Forks: 0
zakski/project-soisceal
Slimline Fork of tuProlog ported to scala
Language: TeX - Size: 509 MB - Last synced: 6 months ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0
zakski/thunderjaw Fork of tuProlog/2p-kt
Slimline Fork of tuProlog ported to scala
Size: 4.04 MB - Last synced: 6 months ago - Pushed: over 3 years ago - Stars: 0 - 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: about 1 month ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 5
Kr1s1m/Prolog-Interpreter
Prolog interpreter univeristy project
Language: Haskell - Size: 32.2 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0
s7rthak/Prolog-interpreter-in-OCaml
Prolog-Interpreter-in-OCaml
Language: OCaml - Size: 253 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
tau-prolog/notebook
A web-based notebook environment for Tau Prolog
Language: JavaScript - Size: 66.4 KB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0
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: 15 days ago - Pushed: over 6 years ago - Stars: 13 - Forks: 3
adamjstewart/prolog
An implementation of Prolog written in OCaml
Language: OCaml - Size: 277 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 3
dogeMcdogeface/BacktraceToolsJS
A browser based PROLOG interpreter.
Language: JavaScript - Size: 5.11 MB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
catseye/Cardboard-Prolog
A bare-bones inference engine in 120 lines of purely functional Scheme
Language: Scheme - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 6 - Forks: 0
eazar001/bfg-prolog
Implementation of Prolog
Language: Rust - Size: 168 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 7 - Forks: 0
ashcode028/NLI-electives-system
a small natural language interface in Python
Language: Prolog - Size: 405 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
tom-weatherhead/katalog
A small Prolog interpreter
Language: C - Size: 168 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1
tau-prolog/sandbox
An online Tau Prolog sandbox
Language: PHP - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 2
mikeroyal/Prolog-Guide
Prolog Guide
Language: Prolog - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: 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: 24 days ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
tanishqg5325/Prolog-Interpreter
Prolog Interpreter in OCaml
Language: OCaml - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0
samarthaggarwal/Programming-Languages
A collection of assignments done in COL226 - Programming Languages
Language: OCaml - Size: 1.25 MB - Last synced: about 1 year ago - Pushed: over 5 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: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0
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: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
ejrh/qolog
A toy Prolog interpreter
Language: Python - Size: 65.4 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0
gpiancastelli/prologlib
An ISO Prolog processor written in Python 3
Language: Python - Size: 107 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
dsmic/PythonProlog
Prolog interpreter written in Python.
Language: Python - Size: 107 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
maresmar/ProCplusLog
Prolog interpret in C++
Language: C++ - Size: 253 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0
anubhav-10/Programming-Languages-Assignments
Programming Languages assignments
Language: OCaml - Size: 639 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
fergusq/qlog
Prolog-like programming language
Language: Haskell - Size: 104 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - 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: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
recurze/Toy-Prolog-Interpreter
A prolog interpreter in Ocaml
Language: OCaml - Size: 36.1 KB - Last synced: about 1 year ago - Pushed: almost 6 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: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1
SnipyJulmy/SkalaLog
Prolog interpreter written in Scala
Language: Scala - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0