FGHC




Flat GHC.

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

See also KL1.



< Previous Terms Terms Containing FGHC Next Terms >
FF
ffccc
FFP
FFT
FGDC
 Guarded Horn Clauses
KL1
 FGL
FGL+LV
FGRAAL
fgrep
FhG