开发者 claire.sf.net

Claire 是一个框架，用于使用 Prolog 谓词与模拟机器人环境（玩家/舞台）进行交互。它专门针对人工智能课程。