|
履修 |
||
|
科目番号 |
学籍番号 |
成績 |
|
001 |
00001 |
90 |
|
001 |
00002 |
80 |
|
002 |
00001 |
90 |
|
002 |
00002 |
70 |
/*「履修」を事実として記述*/
履修(001,00001,90).
履修(001,00002,80).
履修(002,00001,90).
履修(002,00002,70).
︙
/*規則を記述*/
Q1(X1,X2):-履修(005,X1,X2).
?- Q1(X1,X2).
X1=00001
X2=90 ;
X1=00002
X2=80 ;
︙
(p52)リレーショナル代数Q1
(p114)ドメインリレーショナル論理Q1