这两个术语是[a，b，c，d，e]和[[X] | [b，c，d，e]]无法确定？我需要确认，我认为这不是因为您无法以任何方式获得[X] = a？
最佳答案
我认为您需要使用[X | [b,c,d,e]]而不是[[X] | [b,c,d,e]]统一，即您可以使用X=a而不是[X]=a。
关于prolog - 统一的Prolog条款，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8984409/
这两个术语是[a，b，c，d，e]和[[X] | [b，c，d，e]]无法确定？我需要确认，我认为这不是因为您无法以任何方式获得[X] = a？
最佳答案
我认为您需要使用[X | [b,c,d,e]]而不是[[X] | [b,c,d,e]]统一，即您可以使用X=a而不是[X]=a。
关于prolog - 统一的Prolog条款，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8984409/