Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Automated theorem provingBackward chainingCurryGlossary of artificial intelligence

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Improved Continuous-Wave Performance of Two-Section Quantum-Dot Superluminescent Diodes by Using Epi-Down Mounting Process
Using AlN submounts with metal patterns made by a photolithographic process, the two-section quantum-dot superluminescent diodes… 
2005
2005
CCD-based vertex detectors
2000
2000
SLT-Resolution for the Well-Founded Semantics
Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics… 
1997
1997
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language
1994
1994
Multi-SLD Resolution
Multi-SLD resolution is a variant of SLD resolution based on a simple idea.: Let the allowed constraints be closed under… 
1993
1993
The Underlying Search for Magic Templates and Tabulation
The main aim of this paper is to present a framework for tabulated SLDresolution that allows a strict separation between search… 
1992
1992
A Linear Axiomatization of Negation as Failure
1990
1990
Unsolvable Problems for SLDNF Resolution
Review
1989
Review
1989
Development and construction of the SLD Cherenkov ring-imaging detector
1985
1985
Top-Down Semantics of Fair Computations of Logic Programs
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)