Guarded Horn Clauses

<language> (GHC) A parallel dialect of Prolog by K. Ueda in which each clause has a guard. GHC is similar to Parlog. When several clauses match a goal, their guards are evaluated in parallel and the first clause whose guard is found to be true is used and others are rejected. It uses committed-choice nondeterminism.

See also FGHC, KL1.

Last updated: 1995-05-09

Try this search on Wikipedia, OneLook, Google

Nearby terms: gu « guaranteed scheduling « guard « Guarded Horn Clauses » gubbish » guest book » GUI


Copyright Denis Howe 1985 General Business Directory.