Excuse me for making a trivial comment irrelevant to Haskell...
> I was amused to disover recently (thanks to Zhou-san, at POPL) that
> the name GHC (well, really FGHC or `flat' GHC) has already been used,
> by the Japanese Fifth Generation Project.
>
> FGHC stands for Flat Guided Horn Clause, and it's a language that was
> used by the project for knowledge representation:
GHC stands for "Guarded" Horn Clauses, not "Guided" Horn Clause.
GHC is well-known in the field of (concurrent) logic programming, I
believe. See, for example, Shapiro's survey in ACM Computing Surveys,
Vol. 21, No. 3, 1989.
// Eijiro Sumii <[EMAIL PROTECTED]>
//
// Kobayashi Laboratory, Department of Information Science,
// Graduate School of Science, University of Tokyo
