2月
06
2020
Tuprolog and defining infix operators
So I have some prolog... cobrakai$more operator.pl be(a,c). :-op(35,xfx,be). +=(a,c). :-op(35,xfx,+=). cobrakai$ Which defines some infix operators. I run it using SWI prolog and get the following (perfectly expected) results ?- halt. cobrakai$swipl -s operator.pl % library(swi_hooks) compiled into...