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

comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog ...

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 ...