Я новичок в прологе для программирования ограничений. У меня проблема с CLPFD, которая не уменьшает домен, как я ожидаю. Это, вероятно, очень просто.
[A,B] ins 1..5,A*B#=5.
Я ожидаю, что он уменьшит домен A и B до
1\/5
Но он просто дает
A in 1..5,
A*B#=5,
B in 1..5.
Любые предложения будут оценены.