2008-12-01から1日間の記事一覧
つかれた。 reverse(X,Y):-rev(X,[],Y). rev([X|Xs],Z,Y):-rev(Xs,[X|Z],Y). rev([],X,X).答えをYに積んでいくパターン [trace] ?- reverse([1,2,3,4],X). Call: (7) reverse([1, 2, 3, 4], _G348) ? creep Call: (8) rev([1, 2, 3, 4], [], _G348) ? creep …
つかれた。 reverse(X,Y):-rev(X,[],Y). rev([X|Xs],Z,Y):-rev(Xs,[X|Z],Y). rev([],X,X).答えをYに積んでいくパターン [trace] ?- reverse([1,2,3,4],X). Call: (7) reverse([1, 2, 3, 4], _G348) ? creep Call: (8) rev([1, 2, 3, 4], [], _G348) ? creep …
