标签： prolog pattern-matching operators matching
仍然是一些新的prolog，并遇到了一个问题。我在prolog中理解你可以像这样代表数据：名称+日期+时间。如果我有一个像这样的结构数据列表，我怎么能在该列表中使用模式匹配？例如，如果我需要一个谓词，如果需要两个“名称+日期+时间”值，则需要调整为真 仅当第一个名称不等于第二个名称时才为真。我试过了：
notEqual([A+B+C, D+E+F]) :- A \= D.
但这并不像我预期的那样模式匹配。我如何使用此表单中的值？