prologってセマンティックＷｅｂに似てるんじゃ？ on ７つの言語７つの世界

２つのモノの間の関係性を述語で繋いでトリプルを形成して、
述語の組み合わせでルールを作成し、満たすものを見つけ出す。

でも同じ処理系でも、実行するタイミングで結果が異なり
異なる処理系の場合、もちろん結果が異なる可能性がある。

ロジックはルールで表現できるが、どのようなアルゴリズムで
ルールを満たすものを見つけるかは、処理系の中に隠ぺいされている。

こんな理解でいいんだろうか？