GHC

<language>

1. Guarded horn clauses.

2. Glasgow Haskell Compiler.