すみません。また、誤りを発見しました。
2)の A @>= '1000' ですがこれだと呼び出し側の A とこの定義節の
A はリンクされませんね。どうすればよいのでしょう。
2) は
p(A,U,X) :- q(A,U), ... , database(A,X), ...
q(A,A @>= B) :- A @>= B,!.
q(A,A = B) :- A = B,!.
q(A,U) :- call(U).
でq(A,U) のAが束縛されているかどうかで遅延するかどうか決定する。
これで、
?- p(A,A @>= '1000',X).
と呼びだす。