It's: Guarded Horn Clauses. Horn Clauses are a normal form for predicate calculus expressions. I expect that Haskellites are probably familiar with guards... Greg Michaelson
- GHC in Japanese Fifth Generation Project! Keith Wansbrough
- Re: GHC in Japanese Fifth Generation Project! Frank A. Christoph
- Re: GHC in Japanese Fifth Generation Project! Eijiro Sumii
- Greg Michaelson
