prolog - 用語がプロローグで主張されるまで待つ方法は？

Question

プロローグプログラムの1つをスレッド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

使用するプリミティブについて明示されているスレッド通信に関するページ：メッセージキュー。

thread_get_messageは、（おそらく）特定の用語を待機してロックします。