>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:
That would explain something mildly suprising that I saw yesterday on Gerard Huet's
home page. It includes a list of "major software projects" that he has participated
in, and near the end is an entry entitled "GHC Interpreter"...!
--FC
