2007-09-03から1日間の記事一覧
単純なクエリなら理解できる。 father(ieyasu, hirotada). father(hirotada, kiyoyasu). granpa(D, A) <- father(D, M), father(M, A). で ?- granpa(ieyasu, X).とかすればX=kiyoyasuになることぐらいまでは。 たとえば、リスト二つをつなぎ合わせるappend…
単純なクエリなら理解できる。 father(ieyasu, hirotada). father(hirotada, kiyoyasu). granpa(D, A) <- father(D, M), father(M, A). で ?- granpa(ieyasu, X).とかすればX=kiyoyasuになることぐらいまでは。 たとえば、リスト二つをつなぎ合わせるappend…