｢プログラムとしての論理｣というトピックに取り組んでいます。規則を用いて、論理的推論を実行させるようなプログラムが紹介されています。 問題4-61。与えられたリストの中の隣同士の要素を見つけるnext-toについて考えます。(?x next-to ?y in ?list)とい…