Here are
9 public repositories
matching this topic...
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Updated
Jun 21, 2025
Prolog
Constraint Logic Programming over Integers
Updated
Feb 5, 2024
Prolog
Constraint Logic Programming over Finite Domains
Updated
Jan 7, 2020
Prolog
Boolean Constraint Solving in Prolog
Updated
Dec 8, 2024
Prolog
Simple timetabling engine for schools
Updated
Jul 12, 2024
Prolog
A logic programming computer chemistry system
Updated
Nov 22, 2019
Prolog
FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
Updated
Dec 18, 2017
Prolog
Some example how to solve some problems with clp and asp (prolog)
Updated
Jan 5, 2024
Prolog
Some Prolog examples, exercises and utilities
Updated
Jul 7, 2020
Prolog
Improve this page
Add a description, image, and links to the
clp
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
clp
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.