可控逻辑程序（Controlled Logic Programming）是一种 基于逻辑编程的扩展，用于解决逻辑编程中的非确定性问题。在传统的逻辑编程中，推理过程是由逻辑规则自动推导得出的，而可控逻辑编程则允许程序员通过引入一些额外的机制来对推理的过程进行控制。
可控逻辑编程的主要特点包括：
选择规则（Selection Rule）：
允许程序员在推理过程中选择性地应用逻辑规则，从而影响程序的执行路径。
执行规则（Execution Rule）：
定义了程序执行过程中的控制结构，使得程序员可以干预和操控程序的执行。
通过这些控制机制，可控逻辑编程提供了更高的灵活性和可控性，使得程序的行为更加明确和可预测。它的核心思想是通过将计算过程中的状态限制在特定的范围内，从而实现对程序行为的明确控制。