Ich habe mich gefragt, ob Sie eine Möglichkeit kennen, Prolog für die Stream-Verarbeitung zu verwenden, dh eine Art reaktive Programmierung, oder zumindest eine Abfrage auf einer Wissensdatenbank auszuführen, die kontinuierlich aktualisiert (im Grunde genommen ein Stream) und kontinuierlich ausgegeben wird die Ausgabe der Begründung?

Irgendetwas in den beliebten "Prologs" implementiert, wie zum Beispiel SWI-Prolog?