最初のページ 戻る 次へ 最後のページ イメージ

(復習)Prolog言語

科目番号005の科目の履修者の学籍番号と成績の一覧

履修

科目番号

学籍番号

成績

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