VDict - Definition of definite clause

Computing (FOLDOC) dictionary

definite clause

Jump to user comments

logic A Horn clause that has exactly one positiveliteral.

(2000-01-24)

Related search result for "definite clause"

Words contain "definite clause" in its definition in Computing (FOLDOC) dictionary:
SLD resolution Horn clause definite sentence definite clause inner product DCG Guarded Horn Clauses logic variable naive user logic programming more...

Comments and discussion on the word "definite clause"