KL1

KL1, o Kernel Language 1 es una versión experimental Y paralela de KL0 desarrollada para el proyecto ICOT Fifth Generation Computer. KL1 es una implementación de Flat GHC (un subconjunto del lenguaje Guarded Horn Clauses de Kazunori Ueda), lo que lo convierte en una variante de Prolog paralelizado.