A formal description of Arabic syntax has been developed by  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) .
Guarded definite clauses with constraints--Preliminary report.
When restricted to Horn clauses, SL resolution becomes--as  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.