我正在学习如何在Prolog中定义自定义运算符，但第一页上的第二个练习对我来说似乎有点复杂。
给定一个公式分析它是否正确。
例如：如果您定义运算符：op1和op2以及变量：a、b、c一个要验证的输入将是：
?- formula(op1 a op2 b).
并且根据您定义运算符的方式，它应该说true或false。
我完全不知道如何处理这个问题，因为即使是op1 a op2 b部分也让我害怕。我不知道如何从中提取运算符和变量，我什至不知道这是否是要走的路。
任何帮助表示赞赏！
编辑：我的运营商规格是：
:- op(630, xfy, op1).
:- op(610, fy, op2).