質問です。論理変数を持つPrologではサーバーとの交信は
1)クライアント側でQuery P (論理変数を引数に持つ)を一旦文字列化して
2)サーバに送信。
3)サーバは文字列を受信したら、これを parseして P1 を構成。
4)これを call(P1) した後、
5)P1　を文字列化して
6)クライアントに返信。
7)クライアントは受信した文字列をparseしてP2を作り、
8)P と P2 を単一化する。これで論理変数に解が得られます。
エラー時のexception処理などを無視して書きましたが、大体このように進みます。
関数型、ここでは、Erlangですが、典型的なハンドリングを教えてください。