Browsing by Subject "Constraint Solving"
Now showing items 1-1 of 1
-
Article
ACLP: Flexible solutions to complex problems
(1997)In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...