prolog - Prolog のクロスワード パズルの一般化されたソルバー

Question

これが問題とソリューションの特別なバージョンです。 プロローグの学習: クロスワード スキームを解く

私が探しているのは、同じモデルを使用する一般化されたソルバーです。これらの変数名をその場で生成する必要があると思いますが、方法がわかりません。私はswi-prologを使用しています。

一般化されたソルバーとは、N x N のクロスワード パズルを解くことができるソルバーを意味します。N は事前定義されていません。