|SLD resolution||computing dictionary|
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?]
(01 Aug 2003)
|Bookmark with:||word visualiser||Go and visit our forums|