これだとデータベース述語に方向性が発生するから
あくまでview述語としての定義かな。
view(%A,%B,%C,X) :- database(A,B,C,X).
のような定義をして、
database(A,B,C,X)の代わりに
view(A,B,C,X)で照会にいく。