Агенты на Haskell или на функциональных языках?

Я разрабатываю структуру многоагентной системы (MAS) для описания агентов убеждений-желаний-намерений (BDI) в Haskell (т. е. агенты являются параллельными, обменивающимися монадическими действиями).

Я тщательно искал в Интернете, но не смог найти никаких ссылок на похожие работы, кроме технического отчета о незавершенной работе Спецификация и управление агентами в Haskell.

Знаете ли вы о какой-либо существующей реализации или исследовательской работе, посвященной агентам BDI, которые можно определить на Haskell или любом другом функциональном языке? Моя цель — найти возможные родственные работы, все, что могло бы управлять системой параллельных интеллектуальных агентов, написанной на функциональном языке. Мне не нужно ничего конкретного, я просто хочу выяснить, есть ли что-то общее в моей работе с существующими подходами.

edit: мне удалось найти ссылку на Clojure, диалект lisp, который поддерживает форму программирования агентов, очень близкую к модели акторов, но он не предназначен для прямой поддержки агентов BDI ( я думаю, нужно реализовать еще один слой поверх него, чтобы выполнить часть BDI).