schwering/golog

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

语言：Haskell · GitHub 星标：9 · Fork：3

话题：action-language · functional-programming · golog · haskell · logic-programming · plan-recognition · situation-calculus

在 GitHub 上查看原仓库