とりあえず、prologでは家系図を作ってみるのが定石らしい。 ので、華麗なる一族 (競馬) - Wikipediaことマイリー系を作ってみる。 あまり大きいのは辛いので、ここで断念。 /* -*- mode: prolog -*- * horse-family.pl */ /* 牝馬 */ female(mairie). % マ…

設定が間違っていた。prolog.elは/usr/share/emacs/site-lisp/prolog-el/prolog.el にあって、こっちを利用する。.emacsは以下のとおり。 (autoload 'run-prolog "prolog" "Start a Prolog sub-process." t) (autoload 'prolog-mode "prolog" "Major mode fo…

insertを参考にappendを書いた。とりあえず動くように見える。 insert(1, X, L, [X | L]). insert(N, X, [Y | L], [Y | Z]) :- N > 1, N1 is N - 1, insert(N1, X, L, Z). my_append([], S, S). my_append([Fcar | Fcdr], S, [Fcar | R]) :- my_append(Fcdr,…