swi-prolog - Prolog ユーザー識別

Question

Prolog を使用して Web 用の API を作成しています。ユーザーは自分の名前でサインインします。ユーザーがログオフするか、API をシャットダウンするまで、API がセッション全体でユーザーを記憶するようにしたいと思います。もちろん、これはユニークなユーザーごとに異なる必要があります。私の質問は、それを assert/2 としてプロローグにどのように書くか、または...?

Answer 1

library(http/http_session)セッションを作成し、セッション固有の情報にアクセスするために使用します。http://www.swi-prolog.org/pldoc/doc/home/vnc/prolog/lib/swipl/library/http/http_session.plを参照して ください。

Answer 2

この情報を記録するには、次のようなさまざまな方法があります。

• アサート/アサート/アサルト
• レコーダ/レコーダ

マニュアル。