consとappendを書いてみた cons ?- [user]. |: cons(X,Y,[X|Y]). |: % user://1 compiled 0.01 sec, 512 bytes true. ?- listing. cons(A, B, [A|B]). true. ?- cons(a,[b,c,d],X). X = [a, b, c, d]. ?- append リスト版 ?- [user]. |: append(X,[],X). |: …