SLD resolution (Q3459697)
the basic inference rule used in logic programming
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | SLD resolution |
the basic inference rule used in logic programming |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki SLD resolution
- fawiki رزلوشن SLD
- frwiki SLD-résolution
- ptwiki Resolução SLD
- ukwiki ВЛВ-резолюція