Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Constraint Logic Programming over Integers

Constraint Logic Programming over Finite Domains

Boolean Constraint Solving in Prolog

Simple timetabling engine for schools

A logic programming computer chemistry system

FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation

Some example how to solve some problems with clp and asp (prolog)

The exercises from my university course 'Constraint Logic Programming' using Prolog

Some Prolog examples, exercises and utilities