GHCといえばThe Glasgow Haskell Compilerだけれど、GHCという言葉を聞くたびに頭の中にGuarded Horn Clauseという用語が浮かぶ。で、Guarded Horn Clauseって何だっけとGoogle先生に聞く。