四角に切れ（パズル）を解くプログラム

昔いくつか書いたPrologのパズルソルバーのコードがリンク切れになってたので再掲します。

今回は四角に切れ（パズル）のソルバーです。

プログラム
解説と実行結果

これも数年後、英語のStackOverFlow で以下の ECLiPSe CLP で書かれたプログラムを発見しました。
ECLiPSe の開発メンバーのjschimpfさんのコードですね。
ECLiPSeで書かれた四角に切れソルバー