1

我知道统一意味着什么，我解决了大多数问题，但我无法真正理解这些问题的意思。我怎样才能统一这两个功能。它看起来有点奇怪。

4

1 回答 1

1

如果这个 Prolog 表示法，你不能统一它们。只有常量符号并且根已经不同，即函子名称不同：n \= f

于 2020-12-06T13:36:47.400 回答