具有相同数量参数但不同参数类型的相同谓词

Same predicate with same number of arguments, but different arguments type

prolog

我想编写一个接受这些参数的谓词：谓词（X，Y）。谓词（X，（Y，Z））。（第二个参数可以是一个原子或一对）。是否可以仅通过模式匹配来做到这一点？

您不能仅使用模式匹配来指定参数是原子的；您需要一个谓词来对此进行测试。