C13).最後に、コードの全文を載せておきます。得られるすべての魔方陣の解が得られます。C33).というように一部だけ数字を入れた状態で質問すると、次のように変数の部分の条件を満たす解を得ることができます。サブゴールの記述順をちょっと変えるだけで計算時間を短くすることが可能です。コードが異様に長いですが、組み込みのルールを使えばこんなにいろいろ書かずに済みます。ついてごく簡単に触れてみました。使うと、問題に対する解の定義を書くだけで、あとはプログラムが解を導き出してくれます。リストという可変長のデータを扱う仕組みがあったり、初めから使える組み込みのルールがあったり、強力な言語仕様がたくさんあります。upLoginユーザーは見つかりませんでした。