#
prolog-interpreter
Here are 7 public repositories matching this topic...
a Programming LANguage with Higher-Order Logic
- Updated
Feb 3, 2025 - Haskell
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."