Во-первых, этот вопрос звучит так, как будто его задают прямо из книги.Если это так, то, возможно, вам поможет ссылка на книгу в вашем вопросе.Если вы по-настоящему застряли после попытки решить это, то спросите себя вот о чем ...
Как работает каждое правило вывода и какова его цель в поиске решений в логических задачах первого порядка?Как только вы это узнаете, либо ...
- вы не поймете это, но у вас будет лучший вопрос о конкретной технике
- , очевидный ответ выскочит на вас
- вы поймете, какой из этих методов может работать для вашей проблемы, и просто выберите один
Показывая, что вы потратили некоторое время, чтобы попытаться выяснить проблему, прежде чем опубликовать стиль книгивопрос о stackoverflow сделает других людей более вероятными, чтобы помочь вам.У вас также будут вопросы, свидетельствующие о том, что вы не понимаете концептуально, что является очень веской причиной для того, чтобы разместить здесь вопрос, а не «отвечать на мои домашние задания», например, на такие вопросы.