BPU-SPAR provides the framework in which a parallel CLP ( Constraint Logic Programming(CLP) ) system is being developed. BPU-SPAR是我们目前正在研制的并行约束逻辑程序(CLP)设计系统的基础设施。
Constraint logic programming is one important part of artificial intelligence and can solve constraint problems such as optimization and scheduling. 约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。
Constraint logic programming, which integrates consistency algorithm and heuristic search algorithm and adopts constraint reasoning, can deal with various conflicts very well and quickly get one reasonable solution. 约束逻辑程序(CLP)设计综合了人工智能中一致性算法和启发式搜索算法,采用约束推理方法,能非常好地处理各种冲突,并且能快速地排出合理的课程。
Flexible scheduling based on constraint logic programming and genetic algorithms 基于约束逻辑规划和遗传算法的柔性调度
Here, the theory and process of extended constraint logic programming are introduced, which broke normal closed system structure and built an open system with UML in software engineering. 这里在解释了约束逻辑程序(CLP)设计的原理和过程基础上,打破封闭式约束逻辑程序(CLP)设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序(CLP)设计结构系统。