% repXX: 第XX回 演習課題レポート % 提出日: 20??年X月Y日 % 学籍番号: XXXXXXXX % 名前: ○○ ○○ % % 練習X.Y △△関係を解くプログラム (テキスト???ページ) % [述語の説明] % parent(X,Y): XはYの親である % father(X,Y): XはYの父親である % ... % % /*ここから本当のPrologプログラムを書く*/ parent(X,Y) :- father(X,Y) ; mother(X,Y) /* (実行例) ?- grandparent(taro, X). X = jiro ? yes ... */ /* (説明,考察,評価) ... */