prolog
Here are 78 public repositories matching this topic...
🎍 Universal, Multi Language, Multi Paradigm code analyzer
-
Updated
Aug 25, 2025 - Haskell
Higher Order Prolog with Extensional Semantics
-
Updated
Jul 24, 2020 - Haskell
Ñuflo is an interpreted functional-logic programming language based on the λU-Calculus.
-
Updated
Mar 7, 2021 - Haskell
Um jogo 2D de simulação de labirinto em um contexto do curso de Ciência da Computação desenvolvido em Haskell e Prolog
-
Updated
Oct 9, 2024 - Haskell
☕ Repositório destinado ao projeto Equations Solver da disciplina de PLP - 2018.2
-
Updated
Nov 20, 2018 - Haskell
📝 Übungsmaterialien für die Lehrveranstaltung Programmierung im Sommersemester 2019
-
Updated
Jun 9, 2019 - Haskell
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
-
Updated
Apr 2, 2020 - Haskell
A pseudo-Prolog that tries to answer queries by building the least Herbrand model.
-
Updated
Dec 6, 2014 - Haskell
Course project for the discipline Application of Programming Paradigms, U.F.C.G. Computer Science program.
-
Updated
Mar 13, 2019 - Haskell
Notes and assignments for Programming Paradigms course at UTNFRBA.
-
Updated
Dec 21, 2020 - Haskell
Improve this page
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."