🎍 Universal, Multi Language, Multi Paradigm code analyzer

Higher Order Prolog with Extensional Semantics

📚 codes written while learning them.

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

A small logic programming language.

Blog sobre programación declarativa, lógica y funcional

Solved leetcode problems using Prolog and Haskell

Projeto desenvolvido para a disciplina Paradigmas de Linguagens de Programação (período 2022.2) em Haskell e Prolog

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

Repositório destinado ao projeto da disciplina de PLP

Shumilog - a partial Prolog implementation

Simple pure prolog interpreter

Gerenciador Administrativo de Salas

☕ Repositório destinado ao projeto Equations Solver da disciplina de PLP - 2018.2

Haskell package that implements typed terms with logical variables in a prolog-style

A Prolog-like language

🎓 PFL -> L.EIC - FEUP, 2021-2022

extract dependencies from a Haskell project (cabal files) and analyze with Prolog for direct and transitive dependencies among packages

📝 Übungsmaterialien für die Lehrveranstaltung Programmierung im Sommersemester 2019

Materijali za kurs programskih paradigmi u okviru Matematickog fakulteta u Beogradu