Предположим, у меня есть следующие правила: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). И затем я запускаю его следующим образом: ?-...

Скажем, я перечисляю факты: letter(a). letter(b). letter(c). ... letter(z). vowel(a). consonant(b). consonant(c). consonant(d). vowel(e). consonant(f). ... consonant(z). Если я объявляю правила в «алфавитном» порядке, я получаю в консоли...

Мне нужно сопоставить один шаблон с несколькими разными терминами в Прологе, но я не хочу унифицировать какие-либо переменные при их сопоставлении. Я нашел один из возможных способов сделать это, но он кажется неэффективным: :-...