GHC
1.
Guarded horn clauses
.
2.
Glasgow Haskell Compiler
.