% Prologへの入門 3章 p.72, p.73の練習問題をやってみました % 3.1 (a) conc([], L, L). conc([X|L1], L2, [X|L3]) :- conc(L1, L2, L3). rm_back3(L, L1) :- conc(L1, [_, _, _], L). % 3.1 (b) rm_top3(L, L1) :- conc([_, _, _], L1, L). rm_top3_back3(…

% 3.3 evenlength([]). evenlength([X|L]) :- oddlength(L). oddlength([_]). oddlength([X|L]) :- evenlength(L). % 3.4 conc([], L, L). conc([X|L1], L2, [X|L3]) :- conc(L1, L2, L3). reverse([], []). reverse([X|L1], L) :- reverse(L1, L2), conc(L2…

/* はじめてのprolog */ parent(pam, bob). % コメント parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pat, jim). female(pam). male(tom). female(liz). female(pat). female(ann). male(jim). offspring(Y, X) :- pare…

■起動 $prolog■ソース読み込み | ?- ['test.pl'].■終了 | ?- halt.