SLD resolution

Known as: SLD, Standard Linear Derivation 
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This paper introduces an SLD-resolution technique based on deep learning. This technique enables neural networks to learn from… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary… (More)
Is this relevant?
2002
2002
We propose a modal logic programming language called MProlog, which is as expressive as the general modal Horn fragment. We give… (More)
  • table 1
Is this relevant?
1999
1999
View update problem in deductive databases is concerned with the translation of an update of an intensional relation by modifying… (More)
Is this relevant?
1999
1999
This paper presents a full formalization of the semantics of definite programs, in the calculus of inductive constructions. First… (More)
Is this relevant?
1995
1995
It is by now folklore that the bottom-up evaluation of a program after the “magic set” transformation is “as efficient as” top… (More)
Is this relevant?
1994
1994
The aim of this thesis is to de ne a procedural and declarative semantics of SLDresolution with re ection, in the general… (More)
Is this relevant?
1991
1991
This paper presents a new operational semantics for logic programs with external procedures, introduced in BM88]. A new… (More)
Is this relevant?
1989
1989
Lemma 2 Let A be an atom and P |= A. Then A has an implication tree wrt. P . Proof: We construct a model M of P . Let |M| be the… (More)
Is this relevant?
Highly Cited
1971
Highly Cited
1971
Linear resolution with selection function (SL.resolution) is a restricted form of linear resolution. The main restriction is e… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 8
  • figure 9
Is this relevant?