A set of parsec combinators that parses ISO-Prolog programs

Shumilog - a partial Prolog implementation

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

Proyectos del curso "Laboratorio de Lenguajes de Programación I"

Supplementary Materials for the Types, Values, and Classes Lecture

Basics of haskell and Prolog with examples

Projeto Final de Linguagens de Programação - 2017/1

Language Exploration with Advent of Code 2017

Examples of functional and logic programming. Created at the University as the project within Declarative Programming classes in 2015. The purpose of those examples was to learn basic of functional and logic programming.

Projeto de PLP - Sudoku

CS381 @ Oregon State University

A type checking language for Prolog

The project of Programming Language Paradigms (PLP) discipline.

Paradigmas de Programación UTN-FRBA

Projetos e exercícios da disciplina MC346, UNICAMP, 2018-2

A toy implementation of a Prolog's interpreter. No cut operator, no negation, just Horn clauses.

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

Projeto da disciplina de PLP@UFCG (Paradigmas de Linguagens de Programação)

Course project for the discipline Application of Programming Paradigms, U.F.C.G. Computer Science program.

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