Logic Programming Projects: Pies, Activities, Crosswords, Numbers, Skyscrapers, and Optimization. Implemented in Prolog with constraint programming libraries (Assignments 4-7).

This repository contains the lab exercises from the Constraint Logic Programming course at the University of Macedonia. The exercises were implemented using Prolog and cover various topics related to ...

In 1972, Alain Colmerauer and his team in Marseille proposed a first version of the logic programming language Prolog. This work, enriched by a collaboration with Robert Kowalski of the University of ...

Due the lack of stable implementations in the literature, this paper presents an OntoClean implementation in Constraint Handling Rules (CHR), a Constraint Programming Prolog extension. Furthermore, it ...

A novel fuzzy expert system is presented with a proposed system algorithm, employing SWI-Prolog extended through the Constraint Logic Programming library for membership function constraint propagation ...