GHCはKL1として実装されたのだから言語名はKL1の方が妥当では？

Guarded Horn Clauses (GHC)，および
並行論理プログラミング(並行制約プログラミング)に関する研究
http://www.ueda.info.waseda.ac.jp/~ueda/ghc.html
並列論理型言語処理系 KLIC のページ
http://www.klic.org/software/klic/index.ja.html