プロログと公正な探索ルールを用いた純粋LPの教育

従来のプロログには多くの機能があり、現代の変種ではさらに多くの機能があります。これらの多くの機能は、純粋論理プログラミングを仕様ツールおよびプログラミング言語の両方と見なす考え方と良く整合しています。しかし、プロログの他のいくつかの側面はこの見解から逸脱しています。多くの注目を集めている古典的な例としては、assert/retractやカットがあります。しかし、ここでの焦点は深さ優先探索ルールにあります。実際的な懸念から正当化される一方で、最初から深さ優先探索だけを使用することは、早い段階で終了について論理的に考える必要を引き起こし、さまざまなモードで有限の時間内に応答を生成するために不純な機能を使用する必要が生じる可能性もあります。もちろん、終了はいつかはプログラマーによって直面しなければならない問題ですが、最初から正しく行う必要があることは、プロログを宣言的な言語として伝えられる視点を早い段階で表現することを妨げる可能性があります。ここでは、プロログを教える際にこれらの問題に対処するいくつかの方法をレビューしますが、プロログシステムを通じて使用し続けます。このアイデアがプロログを教えている他のインストラクターに役立つことを願い、教育的な目的を目指しています。また、これらの考察は、プロログと現代のAI支援プログラミング方法論を組み合わせる際にも役立つと信じています。