1
Я узнал, что loves(bob,Y) and loves(X,santa) может объединяться, потому что {Y\santa,X\bob}. Однако я не уверен, что можно унифицировать следующее:Как объединяются две атомные формулы?
m(a,X) and n(Y,b)
A
ответ
1
Для унификации функторы должны точно соответствовать. Это m и n - два разных функтора, поэтому целое выражение не может объединяться. В первом примере функторы для обоих выражений одинаковы.
+0
Я думал, что две различные функции также могут объединяться. Теперь я понимаю. Спасибо, Винсент. – Stella
+1
@Stella in Prolog, они не * функции *, а * функторы *. Они не ведут себя как * функции *, как на других языках. Функтор * * - это именованная структура, содержащая другие термины (переменные, функторы, атомы). – lurker
Смежные вопросы
- 1. Как использовать две формулы одновременно?
- 2. Объединить две формулы
- 3. Объедините две вложенные формулы IF
- 4. Как объединить две или более формулы
- 5. атомные операции и атомные транзакции
- 6. Как объединяются компоненты xml?
- 7. Как объединяются ассоциации рельсов?
- 8. Как объяснить атомные действия?
- 9. Как проверить атомные записи?
- 10. Где объекты объединяются/объединяются в трехмерную модель?
- 11. Две таблицы объединяются для одного запроса - путающий результат
- 12. Две идентичные формулы, производящие разные результаты
- 13. Атомные обновления Azure Blobs
- 14. эффективно растущие атомные массивы
- 15. Как объединяются соединения при объединении?
- 16. объединяются как термины в bash
- 17. Как работают атомные запросы Django?
- 18. Как я могу смешать две формулы в excel?
- 19. Как объединить ниже две формулы `ifs` в excel?
- 20. Атомные операции над суперскалярным процессором
- 21. как MySQL объединяются для двух таблиц
- 22. Пакеты иногда объединяются
- 23. Атомные операции с DerbyJS
- 24. Атомные операции в Sequelize
- 25. атомные записи в Ehcache
- 26. Атомные записи для нескольких таблиц
- 27. Ложные обменные и атомные переменные
- 28. Атомные операции на `unique_ptr`
- 29. Атомные действия с ZooKeeper
- 30. запрос и результаты объединяются
Вы также можете попробовать использовать REPL: '? - m (a, X) = n (Y, b) .' – jgriego