Я пытаюсь соответствовать подмножеству фактов, которые я создаю, и мой тестовый сценарий работал отлично! x ([1,2,3,4], 'bleah'). x ([1,2,4], 'bleah2'). x ([1,2], 'bleah8'). x ([1,3,4], 'bleah3'). x ([5,6,7,8], 'bleah5'). x ([...

Я изучаю Prolog, и в качестве упражнения я экспериментирую с простой базой данных, которая вычисляет сумму всех чисел до данного числа (т.е. 0 = 0, 1 = 1, 2 = 3, 3 = 6, 4 = 10, ...). Достаточно просто: ...

Я создал предикат Пролога posAt(List1,P,List2), который проверяет, равны ли элементы в позиции P в List1 и List2: posAt([X|Z] , 1, [Y|W]):- X = Y. posAt([Z|X], K, [W|Y]):- K > 1, ...