definite clause

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Noun[edit]

definite clause ‎(plural definite clauses)

  1. (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.