Constraints Logic Programming in Knowledge-Based Planning Domains

摘要

This report describes an investigation of constraint logic programming languagesand 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.