授業でオートマトンの講義を受けていて、Prologでやると綺麗に書けるなぁ とおもう場面が多々あったのでPrologで書いてみました。 とりあえず0が三つ連続して出現する文字列を受理するオートマトン single([_]). butlast(Xs, []) :- single(Xs). butlast([X …