SLD resolution (Q3459697)
Jump to navigation
Jump to search
the basic inference rule used in logic programming
Language | Label | Description | Also known as |
---|---|---|---|
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 ВЛВ-резолюція