Concurrent Prolog[3], Parlog[2], Guarded Horn Clauses (GHC) などは, いわば同じ穴のムジナで, ほぼ同じ方向を目指した言語である. KL1 はこれら committed choice 型などとも呼ばれる並列論理型言語のうちで もっともシンプルな言語である GHC を元に, 言語仕様をさらに簡素にした Flat GHC と呼ばれる言語をその基礎としている.
