Пролог установил переменную для заполнения ограничений - PullRequest
0 голосов
/ 14 декабря 2018

Можно ли разместить числа 1-9 так, чтобы они заполняли заданное ограничение.

У меня есть:

foo(bl1,A,B,C,Total1) :- A+B+C =:= Total1.
foo(bl2,A,B,D,Total2) :- A+B+D =:= Total2.

run_foo(A,B,C,D) :- 
    foo(bl1,A,B,C,13), 
    foo(bl2,A,B,D,11), 
    A/=B,
    A/=C,
    A/=D,
    B=/C,
    B=/D,
    C=/D.

А затем запустите что-то вроде:

run_foo(A,6,C,D).

Так что он возвращает значения A, C и D.Это должно вернуть A=4, C=3, D=2.

...