Prolog 中的流推理/反应式编程？

我想知道您是否知道使用 prolog 进行流处理的任何方法，即某种反应式编程，或者至少让查询在不断更新的知识库（实际上是流）上运行，并不断输出推理的输出？

在流行的“prolog”（例如 SWI-prolog）中实现了什么？

您可以使用 Logtalk 对事件驱动编程的支持来定义监视知识库更新事件并做出相应反应的监视器。您可以使用大多数 Prolog 系统作为支持编译器来运行 Logtalk，包括 SWI-Prolog。

事件驱动的特征被描述为例如在用户手册中：http://logtalk.org/manuals/userman/events.html http://logtalk.org/manuals/userman/events.html

当前发行版包含一些使用事件和监视器的示例。考虑到你的问题，一个有趣的问题是bricks例子：https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/bricks https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/bricks

首先运行此示例，然后查看其代码应该可以让您很好地了解可以如何处理系统范围的事件和监视器。