a Programming LANguage with Higher-Order Logic
-
Updated
Jul 21, 2025 - Haskell
#
prolog-interpreter
Here are 7 public repositories matching this topic...
Prolog interpreter univeristy project
-
Updated
Sep 1, 2023 - Haskell
Prolog-like programming language
-
Updated
Dec 17, 2018 - Haskell
The mandatory Softwareprojekt to the FortProg Course
-
Updated
Mar 12, 2018 - Haskell
Basic Prolog interpreter written in Haskell for the Functional programming course in univeristy (FMI at SU)
-
Updated
Mar 24, 2021 - Haskell
A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.
-
Updated
Oct 6, 2018 - Haskell
Improve this page
Add a description, image, and links to the prolog-interpreter topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the prolog-interpreter topic, visit your repo's landing page and select "manage topics."