The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for SLD Resolution
From The Free On-line Dictionary of Computing (30 December 2018) :

  SLD resolution
      (Selected, Linear, Definite) Linear
     resolution with a selection function for definite
     A definite sentence has exactly one positive literal in each
     clause and this literal is selected to be resolved upon,
     i.e. replaced in the goal clause by the conjunction of
     negative literals which form the body of the clause.
     [Why is SLD resolution important?]

Contact=webmaster@dict.org Specification=RFC 2229