突飛かも知れないが、例の先祖定義で考えよう。
親子(為義,義朝).
親子(義朝,頼朝).
先祖(A,B) :- 親子(A,B),!.
先祖(A,B) :- 親子(A,C),先祖(C,B).

原初的情報とは、親子、為義、義朝、頼朝、であり、
これを、
親子([[為義,義朝],[義朝,頼朝]]).
と定義しても、先祖の定義の変更すれば良いのだが、
プログラマとしては絶対に受け入れられないくらいの意味です。