Я пытаюсь определить двоичные числа в агде, но агда не видит, что ⟦_⇑⟧ заканчивается. Я...

Я хочу знать, почему программа идет в бесконечной рекурсии в следующих случаях: ?- love(kay,...

В настоящее время я работаю с примерами Learn Prolog Now, а для одного упражнения у меня есть...

Скажем, я хочу утверждать, что три списка имеют одинаковую длину.Я мог бы сделать что-то вроде...

Мне нужно создать предикат Пролога для степени 2 с натуральными числами. Натуральные числа: 0, s...