Horn Clause logic的意思|示意
美 / /
英 / /
霍恩条款逻辑
Horn Clause logic的网络常见释义
子句逻辑 Prolog - 霍恩子句逻辑（Horn clause logic），如XSB。