GitHub

Learning Constraint Logic Programming with Prolog

This repo is a record of my attempt to research and learn Prolog programming using Constraint Logic Programming (CLP). The work here was greatly inspired along by the Power of Prolog series, reading ...
www.cs.cmu.edu

[2-6] Commercial Constraint Systems

This section contains constraint systems, constraint logic programming systems, concurrent constraint languages, and other constraint processing systems. CHIP V4 (Constraint Handling In Prolog) is ...
GitHub

constraint-programming

Datasets related to the paper: "Improving the efficiency of Euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints" (Elena Bellodi, Alessandro Bertagnon, Marco ...
IEEE

Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP

Abstract: We have developed two types of systems; CP and CMGTP, for finite-domain constraint satisfaction problems. CP is based on the constraint logic programrning scheme, and is written in SICStus ...
IEEE

An Ontology Analysis Implementation in Constraint Logic Programming

Abstract: Ontologies establish a common and unambiguous terminology for knowledge formal representation and (semi-) automatic reasoning, being gradually applied in Semantic Web services. OntoClean, on ...