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. |
| 随便看 |
|
依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。