並行制約プログラミング
AKL (Andorra Kernel Language/Agent Kernel Language)は、D.H.Warrenの提案した論理プログラミングのAND並列実行とOR並列実行の統合モデルであるAndorra Modelをもとに、Jansonらが設計したマルチパラダイムのプログラミング言語である。並行処理の制御とPrologが得意とする解の探索とを同時に表現でき、また制約も扱うことができる。