约束逻辑编程-一流百科

约束逻辑编程

约束逻辑编程约束逻辑编程是约束编程的一种形式，其中逻辑编程被扩展到包括约束满足的概念。约束逻辑程序是一个逻辑程序，它在子句的主体中包含约束。如同在...