macbookにswi-prologをインストール初Prolog sudo port install swi-prolog linuxだとplなんだけどmacだとswiplというコマンド。 parent(kzfm,yuki). parent(uko,yuki). parent(ako,uko). parent(yum,kzfm). parent(chiyo,yum). parent(kzfm,hana). parent(uko,hana). 上のファイルをtest.swiという名前で保存しておいて、 swipl -f test.swi で起動 ?- parent(A,yuki). A = kzfm ; A = uko . ?- parent(A,B),parent(B,yuki). A = ako, B = uko ; A = yum, B = kzfm ; false. parentのparentつまり祖父母だ。もちろん再帰もできる。O
