So…attempting to understand…using //div just like that is functor(args), is ‘//’(div) is writing it in functional form so that it doesn’t get parsed the “wrong” way because of operator precedence?
Oh right, div is also an arithmetic operator, of course!
I believe so; //'div' should work properly as well and is probably a better solution (because the problem isn’t about // as an operator, it’s that div is being treated as an operator, not an atom).
the op//3 and generally definiting operators is not something I have ever done so it’s all a bit mysterious to me…it’s something I keep meaning to study but somehow I have managed thus far without needed a custom operator.
Do you know of any good tutorials, I have found some but they tend to be terse and not very helpful…if I can understand I#d write my own…currently working in a custom little web server with Prolog (I didn’t get on with