/*規則を記述*/
Q2(X1,X2,X3):-科目(X1,X2,_ ),履修(X1,00100,X3).
?- Q2(X1,X2,X3).
X1=001
X2=データベース
X3=80 ;
X1=002
X2=システムプログラム
X3=70 ;
︙
(p53)リレーショナル代数Q2
(p114)ドメインリレーショナル論理Q2