Pages that link to "SLD resolution"
From HandWiki
The following pages link to SLD resolution:
Displayed 23 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algorithm (← links)
- Backward chaining (← links)
- Glossary of artificial intelligence (← links)
- Mercury (programming language) (← links)
- Prolog (← links)
- Computer program (← links)
- Problem solving (← links)
- Knowledge representation and reasoning (← links)
- Stable model semantics (← links)
- Declarative programming (← links)
- Procedural programming (← links)
- Model elimination (← links)
- Situation calculus (← links)
- Logic programming (← links)
- Datalog (← links)
- Horn clause (← links)
- Curry (programming language) (← links)
- Prolog syntax and semantics (← links)
- Syntax and semantics of logic programming (← links)
- Philosophy:Completeness (logic) (← links)
- Philosophy:Resolution (logic) (← links)
- Biography:List of programming language researchers (← links)
- Biography:Robert Kowalski (← links)
