Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

SLD resolution · Vinony

🌐English

English Français Italiano Português فارسی

EntityQ3459697· pop 5· linked from 23 articles

SLD resolution

the basic inference rule used in logic programming

Available in 5 languages

Français
Português
Ukrainian
فارسی

via Wikidata sitelinks · CC0

Connections

Categories

Logic programming Rules of inference

Sources

wikipedia.externallinksexternallink

Prolog

Entity

propositional calculus

depth-first search

breadth-first search

logic programming

rule of inference

branch and bound

best-first search

Robert Kowalski

backward chaining

John Alan Robinson

Sign in to save

What links here23 pages

procedural programming

Situation calculus

knowledge representation and reasoning

logic programming

declarative programming

problem solving

glossary of artificial intelligence

Robert Kowalski

backward chaining

stable model semantics

computer program

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

rule of inference

Entitydist 0.46

list of rules of inference

Entitydist 0.48

declarative programming

Entitydist 0.49

Entitydist 0.50

Wason selection task

Entitydist 0.52

descriptive complexity theory

Entitydist 0.53

Problem of multiple generality

Entitydist 0.53

deductive reasoning

Entitydist 0.54

higher-order logic

Entitydist 0.54

Category:Deductive reasoning

Entitydist 0.55

Entitydist 0.56

Category:Theorems in computational complexity theory

Entitydist 0.57