バックトラックを禁止する述語らしい。これを使えば リスト - 放牧日記のtakeやdropも my_take(0, _, []) :- !. my_take(N, [Lcar | Lcdr], [Lcar | R]) :- N > 0, N1 is N - 1, my_take(N1, Lcdr, R). my_drop(0, L, L) :- !. my_drop(N, [_ | Lcdr], R) :-…