コメントでご指摘いただいたとおり，前に書いた Prlog 版 FizzBuzz は最初の (っていうか唯一の) 解を見つけた後，別の解を探しに行くと無限ループというかスタックオーバーフローになります． 心より恥じる．全解探索するつもりが毛頭なかったのですっかり…