Рассмотрим эту программу Prolog: a(1). b(X) :- X. Это действительно в SWI Prolog. И следующие...

Я пытаюсь найти решение логической задачи первого порядка с помощью prover9, вопрос в следующем:...