Prolog：地雷除去器のようなパズルを解く場所はどこですか？

Question

私はprologに掃海艇のようなものを書く必要があります。私は "普通の"言語でそれを行うことができますが、プロローグでコーディングを開始しようとすると、私は完全に始める方法がわかりません。 私はある種のヒントが必要です。 入力仕様：

基板サイズ：メートル×N（メートル、N∈{1、...、16}）、トリプルのリスト（I、J、 K）、I∈{1、...、メートル}、J∈{1、...、N}、K∈{1、...、8}）である。例えば

：

5 
5 
[(1,1,1), (2,3,3), (2,5,2), (3,2,2), (3,4,4), (4,1,1), (4,3,1), (5,5,2)]. 

出力：数字と（宝用）*と（ブランクフィールドの）原子のリスト。これは、パズルソリューションの表現です。

このパズルのルール： ボードの20のフィールドには隠された宝があります。フィールド内の数字は、宝を持っている近隣フィールドの数を表します。桁のある欄には財宝はありません。すべてのフィールドに宝をマークしてください。

あなたは対角線に隠されている宝の数を推測する必要があります。

私はどんなヒントにも感謝します。私は完全な解決策を望んでいない、私は自分でそれを書いてみたいが、手がかりがなければ私はそれをすることができない。

Answer 1

行列は通常リストのリストとして扱われますが、長さ/ 2とfindall/3を使って構築できます。座標を経由して要素にアクセスする（推測しているときに値を配置します....）空の変数の行列

build_matrix(NRows, NCols, Mat) :- 
    findall(Row, (between(1, NRows, _), length(Row, NCols)), Mat). 

がNTH1を使用して行うことができます（あなたには、いくつかの詳細を見つけることができます別の答えをhereを参照してください。参照セル/ 3）。

次に、すべてのトリプル制約を置きます。「隠された宝」カウンターを消費する有限の数の方法があります.Prologですべての方法を検索し、隣接を列挙します。

トリプルのリストを処理し、各カウンタを互換性のあるセルに再帰的述語で置きます。リストが終わると、推測ができます。

失敗は「通常の」検索...