FGHC


Also found in: Acronyms.

FGHC

Flat GHC. A flat variant of GHC in which guard calls can be only to primitives.

See also KL1.
Mentioned in ?
References in periodicals archive ?
Ueda, the designer of Flat Guarded Horn Clauses (FGHC), slowly won us over to the view that his language, while weaker than Herbrand, was simpler and that there were programming techniques that compensate for its weaknesses.
During the project, development progressed on the Aurora schedulers, improved Prolog and FGHC compilers, and alternative systems such as JAM Parlog and MUSE OR-parallel Prolog.
While FGHC programs represent concurrency independently from the machine architecture on which they are executed, KL1p maps them onto parallel processors.
Difficulty in implementation of the suspension mechanism has led ICOT to withdraw to a subset (FGHC), Flat Guarded Horn Clauses in analogy with Concurrent Prolog's successor, FCP.