この記事では、AIモデル「Claude」（Sonnet 4.6）と論理プログラミング言語「Prolog」を用いて、マーティン・ガードナーが提示したチェスパズルを解く試みが紹介されています。

パズルの概要:
4×4のチェス盤に、2つのルーク、2つのビショップ、2つのナイトを配置し、どの駒も互いを攻撃しないようにするという問題です。このパズルには、対称性を考慮しない場合12通り、考慮する場合は2通りの基本的な解が存在します。

Prologによる実装:
Claudeは、このパズルを解くためのSWI-Prologプログラムを生成しました。プログラムでは、駒の攻撃範囲を定義し、盤上の駒の配置が攻撃し合わないことを確認するロジックが記述されています。

結果:
生成されたPrologコードを実行した結果、配置の総数（12）、およびD4対称性を考慮したユニークな解の数（2）が正しく導き出されました。Claudeは、これらの解を図示する画像も生成しました。

考察:
筆者は、LLM（Claude）がコード生成を支援することで、Prologの独特な構文の難しさが軽減される点を指摘しています。また、あえて知名度の低い問題を選んだことで、LLMが既存の解決策を引用するだけでなく、問題解決能力を発揮するかどうかも検証しています。

Claudeへの指示（プロンプト）:
「4×4のチェス盤を考えます。2つのルーク、2つのビショップ、2つのナイトを配置して、どの駒も互いを攻撃しないようにすることは可能ですか？対称性を考慮しない場合、解は何通りありますか？答えを検証するためにPrologコードを生成してください。」