常用的逻辑程序包括以下几种：
点动控制
点动控制是一种电动机控制方式，其中按下启动按钮时主回路通电，松开按钮时主回路断电。这种控制方式常见于行车控制中。
起保停控制
起保停控制逻辑电路是一种典型的自动控制电路，用于将脉冲动作信号转换为持续状态信号或持续动作信号。当接收到停止信号时，该逻辑会立即响应。
逻辑编程语言
Prolog：基于一阶谓词逻辑，通过逻辑规则和事实的声明来推理和求解问题。Prolog使用无约束的变量、模式匹配和自动回溯，使得程序员可以通过描述问题的逻辑关系来解决问题。
Datalog：基于逻辑编程的查询语言，是Prolog的一个子集，用于描述和查询逻辑关系。
MiniKanren：一种逻辑编程语言，用于推理和求解问题，具有简洁和强大的表达能力。
Answer Set Programming （ASP）：一种逻辑编程语言，通过定义集合来表示问题的解，并使用逻辑推理来求解问题。
逻辑编程模型
传统逻辑编程：以Prolog为代表，使用谓词逻辑进行推理和搜索，通过定义事实和规则来描述问题领域。
约束逻辑编程 （CLP）：在逻辑编程的基础上引入约束求解的概念，通过约束描述变量之间的关系，如等式、不等式和逻辑关系。
其他逻辑程序
梯形图 （Ladder Diagram, LD）：用于表示逻辑关系的图形化编程方法，适用于控制逻辑较为简单的程序。
功能块图 （Function Block Diagram, FBD）：通过将功能块按照逻辑关系进行连接，实现程序的功能，适用于较为复杂的程序。
结构化文本 （Structured Text, ST）：基于文本的编程语言，类似于传统的高级编程语言，适用于数据处理和算法实现。
顺序功能图 （Sequential Function Chart, SFC）：用于描述程序执行顺序的图形化编程方法，通过状态、转换和操作来实现程序功能。
这些逻辑程序和模型在不同的应用场景中有着广泛的应用，从简单的控制逻辑到复杂的推理系统，都能够找到相应的解决方案。建议根据具体需求选择合适的逻辑程序和编程语言。