Constraints Logic Programming in Knowledge-Based Planning Domains
William B. Day · 1992
This report describes an investigation of constraint logic programming languages and their application to knowledge-based planning systems. An overview of constraint logic programming (CLP) languages is presented with specific attention to CLP(R), a Prolog based CLP language. Two planning/ scheduling systems are presented and features identified as potential sources of CLP(R) improvements. Finally, two examples are presented.... Artificial intelligence, Knowledge-based planning, Logic programming, Constraint logic programming, Constraint satisfaction.