The development of concurrent logic programming was given an impetus when GHC was used to implement KL1, the systems programming language of the Japanese Fifth Generation Project (FGCS).
Развој конкурентног логичког програмирања је дат подстицај када је GHC коришћен за имплементацију KL1, језик за програмирање система јапанске пете генерације пројекта (ФГЦС).