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

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

50 years ago, Alain Colmerauer laid the foundations of Prolog, the first computer language for "logic programming". Like LISP, it was to become one of the key tools of Artificial Intelligence (AI).

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

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

Abstract: ToonTalk looks like a video game. This is not surprising since its design and user interface were strongly influenced by games like The Legend of Zelda: A Link to the Past and Robot Odyssey.