definite clause

definite clause

(logic)
A Horn clause that has exactly one positive literal.
References in periodicals archive ?
Anti-symmetry between definite/realis and speck-indefinite/irrealis Number of reasons for an entity to be Noun Phrase marked as (specific-in) definite Clause (thing) or (ir)real (event) definite many one one (grounds itself) realis specific- (grounds itself) many irrealis indefinite