#prolog #unification #unify
#пролог #объединение #объединить
Вопрос:
Я знаю, что означает объединение, и я решил большинство вопросов, но я не мог по-настоящему понять смысл этих вопросов. как я могу объединить эти две функции? это выглядит немного странно.
Комментарии:
1. да, я так думаю, но я не очень уверен, поэтому прошу о помощи. так что это можно решить, и спасибо
2. Я задал это в качестве ответа, чтобы мы могли закрыть этот вопрос.
3. Два не могут быть объединены, поскольку, если вы «раскатываете» оба термина, два функтора разные.
Ответ №1:
Если это нотация Prolog, вы не сможете их объединить. Есть только постоянные символы, и уже корень другой, т.Е. Имена функторов разные: n = f