皮尔洛

推理(on)服务组件集成在重写逻辑编程自主系统与大量的异构组件对语言设计者和软件工程师提出了许多挑战,需要集成的计算工具和推理工具。我们提出了一个通用的方法来丰富SCEL,这是一种最近推出的具有大量组件的编程系统的语言,其推理能力由外部推理器保证。我们展示了如何可以通过考虑SCEL的Maude实现和具体的推理器皮尔洛,在Maude中实现的方法是如何实例化的。此外,我们展示了如何实际整合可以受益于现有的分析工具的MADUD框架。特别是,我们展示了我们的方法,通过考虑一个简单的场景组成的一组机器人在舞台上运动,旨在减少碰撞的数量。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。