Я написал быстрый предикат на Прологе, опробовав CLP (FD) и его способность решать системы уравнений. problem(A, B) :- A-B #= 320, A #= 21*B. Когда я звоню в SWI, я получаю: ?- problem(A,B). 320+B#=A, 21*B#=A. В то время как...

Возьмем следующий гипотетический сценарий... сетка 5x5 и, скажем, 3 фигуры. Мы хотим определить ограничение на позиции. В CLP мы обычно определяем ограничения целыми числами, так что это один из способов сделать это: ... Fig1X #\= 2, Fig1Y #\=...