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 (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.
has abstract
En programmation logique, la S ...... employé par le langage Prolog.
@fr
SLD resolution (Selective Line ...... ion complete for Horn clauses.
@en
Link from a Wikipage to an external page
Wikipage page ID
11,594,091
Wikipage revision ID
711,847,166
hypernym
type
comment
En programmation logique, la S ...... employé par le langage Prolog.
@fr
SLD resolution (Selective Line ...... ion complete for Horn clauses.
@en
label
SLD resolution
@en
SLD-résolution
@fr