単純な要求駆動型実行

ある変数の値が必要になったときに, その値を具体化するゴールを実行するの が要求駆動型のスケジューリングである. 例えば,

  1: p(X,Y) :- a(X,A), q(A,Y).
  2: a(X,A) :- b(X,B), c(B,C), d(C,A).

図1 : 要求駆動とプロセス指向実行の比較