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

(復習)Prolog言語

学籍番号00100の学生が履修した科目の 科目番号,科目名,成績の一覧

/*規則を記述*/

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