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(.
A definite clause
is (simply another name for) a positive Horn clause.
The second candidate for KL2 was the concurrent constraint-programming language called Guarded Definite Clauses
with Constraints (GDCC) .
For definite databases linear resolution with selection function based on definite clauses
, SLD-resolution, is used.