SLD resolution
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.
| 单词 | SLD resolution |
| 释义 |
SLD resolution
英语百科
SLD resolutionSLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. |
| 随便看 |
英汉双解词典包含3607232条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。