definite clause

definite clause

(logic)
A Horn clause that has exactly one positive literal.
References in periodicals archive ?
A formal description of Arabic syntax has been developed by [19] in Definite Clause Grammar.
This parser was built to be a part of a Machine Translation System and was written in DCG (Definite Clause Grammar).
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
The hypothesis is a definite clause consisting of a head (fold(..,..)) and a body (the conjunction length(..), ..
An hypothesized definite clause for four-helical-up-and-down-bundles
The second candidate for KL2 was the concurrent constraint-programming language called Guarded Definite Clauses with Constraints (GDCC) [13].
Guarded definite clauses with constraints--Preliminary report.
When restricted to Horn clauses, SL resolution becomes--as [1] named it--SLD-resolution (for Selective Linear resolution for Definite clauses).
For definite databases linear resolution with selection function based on definite clauses, SLD-resolution, is used.