この環境に依存する形で、並列論理プログラム言語のkl1は知識プログラミング全般の研究に利用された。