с логикой предикатов 1 порядка. Мне нужно осуществить - вопрос №120114011 от katerinadrobot 23.01.2021 12:12

Question

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

katerinadrobot · Answer

------- --------- ----------- -------------- ----------------- -------------------- ------------------------ -----------------------------...