есть скажем утверждение и правило

человек(сократ).
смертен(X):-человек(X).

Как стнадартными методами языка Prolog, получить ответ на вопрос формально (но как я понял, неправильно) описываемый X(сократ) где результат должен быть X=человек ?