Having defined two operators in Prolog:
op(100, xfy, #).
op(100, fy, ϴ).
what is the expression
a # ϴ b # c
equivalent to?
a # ϴ (b # c)
or maybe
a # ((ϴ b) # c)
And why?
Having defined two operators in Prolog:
op(100, xfy, #).
op(100, fy, ϴ).
what is the expression
a # ϴ b # c
equivalent to?
a # ϴ (b # c)
or maybe
a # ((ϴ b) # c)
And why?