关键字动态
我一直在为SWI-Prolog尝试JPL，但据我所知，所有可以做的就是采用预先编写的Prolog文件并动态构建一些查询以在该知识库上运行。它无法实际添加到知识库中。
我设想的是运行Java程序的用户能够通过某种命令行界面向Prolog知识库添加规则（即设置用户在交互式小说故事中创建的某些对象的属性）。
JPL可以这样做吗？任何Prolog接口都可以吗？或者我是否必须回到找到一个Java知识表示库，它不是过度设计（Cyc）或者是一个混乱（Tweety）？如果是这样，你有什么可推荐的吗？