clpfd

1зной

2ответ

Я новичок в Prolog и использовал его для решения криптографической проблемы CROSS + ROADS = DANGER. Однако, когда код запускается, нет выхода, может кто-нибудь сказать мне, что не так с программой? Я

5зной

2ответ

Использования овеществлённых ограничений, чтобы сделать 3 номера подряд

Вот набросок моей программы SWI-Пролог: :- use_module(library(clpfd)). consec1(L) :- L=[L1,L2,L3,L4,L5,L6,L7,L8,L9], L ins 1..9, ..., abs(L5-L4)#=1, all_different(L), l

1зной

2ответ

Может кто-нибудь объяснить, почему этот запрос пролога вычисляется как false?

Я пытаюсь написать предикат pythagorean(X,Y,Z,W), который может генерировать все троек таким образом, чтобы X^2 + Y^2 = Z^2, где W >= X,Y,Z > 0. Это то, что я писал: pyth(X,Y,Z,W) :- X > 0,

2зной

1ответ

Напишите программу Prolog, которая решает следующую арифметическую головоломку

PYP CQB CBCW ----- WXYPB где каждая буква представляет собой уникальную цифру от 0 до 9, а значение ниже строки представляет собой сумму из них.

1зной

1ответ

clpfd - ограничение верхней связь домена, как максимум списка элементов

Учитывая следующий код: solve(G,L) :- G = [A0,B0,C0,D0], L = [A1,B1,C1,D1,A2,B2,C2,D2,A3,B3,C3,D3,A4,B4,C4,D4], G ins 0..4, L ins 0..max(G). Я хочу тяготы L не содержит значение,