Defining operators in Prolog

Viewed 519

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?

1 Answers
Related