Guarded Horn Clausescomputing dictionary

<programming 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.

(01 Mar 1995)

guaranteed scheduling, guard, guard, guard cell < Prev | Next > guardfish, guardian, guardianess

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums