KL1

KL1, ou Kernel Language 1 é uma versão experimental AND paralela de KL0 desenvolvida para o projeto ICOT Fifth Generation Computer. KL1 é uma implementação do Flat GHC (um subconjunto da linguagem Guarded Horn Clauses de Kazunori Ueda), tornando-o uma variante paralelizada do Prolog.