なんとなく。コードはSWI-Prologでチェックした。granpa.pl father(ieyasu, hirotada). father(hirotada, kiyoyasu). granpa(GC, GP) :- father(GC, C), father(C, GP). granpa(ieyasu, X).でX=kiyoyasuになるだけ。fact.pl fact(0, 1). fact(In, Result) :-…