split_at_right。Prologで作る数学の世界―Prologそして集合‐位相‐群の第五章の問題の回答でもある。バックトラックを利用したもので、Nが小さい場合は効率がよい。現時点で一番prologらしいプログラム。 split_at_right(N, List, Left, Right) :- right_sub(…

テーマも変えたい。Prologっぽいはてなのテーマってあるんかな？