Mycroft分布式逻辑语言认领

什么是Mycroft？Mycroft是一种逻辑语言，其语法类似于PROLOG。此外，它还支持透明的分布式计算和复合真值。为什么不只使用PROLOG？部