如何等待直到在prolog中声明一个术语？

Question

我想让我的一个prolog程序在线程2中运行。当我在主线程中声明某些内容时，线程2中的程序将监视该断言并相应地执行不同的事情。我怎样才能做到这一点？

我写这样的东西，但它真的很糟糕，因为它需要很多的CPU！

read_action(Act) :- 
    open('action.txt', read, Stream), 
    (can(go_next) -> 
     read_line_to_codes(Stream, Act), 
     write(Act), 
     close(Stream) 
     ; 
     close(Stream), 
     read_action(Act)), 
    retractall(can(_)). 

我使用Swipl

Answer 1

的page关于线程通信是明确一些基本使用方法：消息队列。

thread_get_message正在等待某个（可能）特定的项。