definite-clause

Noun

(plural definite clauses)

(logic) A Horn clause with exactly one positive literal.
The clauses , and are examples of definite clauses. At least in classical logic these would be equivalent to the formulae , and , respectively.

English Wiktionary. Available under CC-BY-SA license.

Link/Cite

Link to this page

Cite this page

MLA Style

"definite-clause." YourDictionary, n.d. Web. 17 January 2019. <https://www.yourdictionary.com/definite-clause>.

APA Style

definite-clause. (n.d.). Retrieved January 17th, 2019, from https://www.yourdictionary.com/definite-clause

Also Mentioned In

WORDS NEAR definite-clause IN THE DICTIONARY