霍恩条款-一流百科

霍恩条款

霍恩条款在数理逻辑和逻辑编程中，霍恩条款是一个具有特殊规则形式的逻辑公式，使其具有用于逻辑编程、形式化规范和模型理论的有用属性。霍恩条款是以逻辑学...