GHC

Guarded Horn Clauses

K. Ueda

A parallel logic language similar to Parlog. It includes guards and committed-choice nondeterminism. See FGHC, KL1.