プロローグが初めてなので、既存のコードを読んでいます（コードを書き込もうとしています）。semweb で以前のバックグラウンドを持っていたので、それをいじり始めたところ、私を混乱させる何かが見えました。アサーションの例:
?- rdf_assert(ex:bob, rdf:type, foaf:'Person').
また、ドキュメントで次のことを見つけました。
Remember: Internally, all resources are atoms. The transformations
above are realised at compile-time using rules for goal_expansion/2
provided by the rdf_db library
ライブラリが何らかの形で 3 つの URI をアトムとして扱っていると仮定して、私は正しいでしょうか? コンパイラはこれを として扱うと思っていましたmodule_name:predicateが、そうではないようです。それが本当なら、プロローグでこれを行う方法の簡単な例を教えてください。
ありがとう