1. guarded horn clauses(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 nondeterminismsee also fghc, kl1
İngilizce
Başkaları ne arıyor?