PrologでまったりPart 2
■ このスレッドは過去ログ倉庫に格納されています
0322デフォルトの名無しさん
2005/10/06(木) 13:24:38述語は
以前出てきたPrologサーバーでの共用Prologデータベース側で
実行されることを宣言するものです。
サーバーの参照は基本的に、
?- ..,node1 :: 身長(彩,X), ...
のようにサーバー名をつけて、すなわち
述語 :: の第一引数にサーバー名、第二引数に質問を
置く形式になっています。これは参照の場合で、
子スレッドで実行される場合です。共用Prologデータベースの
追加、更新、削除は親スレッドで実行される必要があり、
?- ...,node1 :: xxx(assertz(身長(豊,169))), ...
のような形式にしたい。ここでは仮にxxxになっていますが、
xxx に 相応しい述語名を付けてください。
■ このスレッドは過去ログ倉庫に格納されています