Я пытаюсь решить проблему обработки ограничений в прологе. Мне нужно упаковать 4 квадрата 5x5,4x4,3x3 и 2x2 в сетку 10x10. Они не могут перекрываться. Мои переменные выглядят так: Name: SqX(i), i=1..10, domain: 1..10 Где X либо 5,4,3,...

Я заставил эту программу работать до сих пор в прологе GNU not(X) :- \+ X. and(X, Y):- X , Y. or(X, Y):- X ; Y. implies(X, Y):- \+ X ; Y. p. q. :- initialization(main). main :- write('Program start'), nl. Вы можете ввести...

Я пытаюсь написать алгоритм, который наивно ищет модели булевой формулы (NNF, но не CNF). Код, который у меня есть, может проверить существующую модель, но он не завершится (или не завершится), когда его попросят найти модели, по-видимому, потому,...

Мне были предоставлены функции и предикат для проверки 2-битной полной сумматорной схемы. Вот что я понял до сих пор: функция signal (t), где t - терминал, а signal принимает значение 1 или 0. signal(T, V) :- V is 1; V is 0....