Мне было поручено реализовать версию findall в Prolog без использования каких-либо встроенных модулей Prolog, за исключением not и cut, то есть в основном в чистом Prolog. Я пытаюсь найти в дереве все прямые ...

Я пытаюсь определить предикат, который получает один термин со свободными переменными и возвращает список сопоставлений этих переменных, например, если база данных представляет собой (0,1 ). а (1,1). ожидаемый ...