Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:-op(400, yfx, molt). :-op(400, yfx, divisione). :-op(401, yfx, som). :-op(401, yfx, sot). :-op(402, xfx ,es). trad(X som Y, X+Y). trad(C, C). trad(X som Y, D+E):- trad(X,D), write([X,D]), trad(Y,E). trad(X divisione Y, div(X,Y)). trad(X divisione Y, div(X,Y)):- trad(B,X), trad(C,Y). trad(X sot Y, X-Y). trad(X sot Y, X-Y):- trad(B,X), trad(C,Y). trad(X molt Y, X*Y). trad(X molt Y, X*Y):- trad(B,X), trad(C,Y). es(R, Y):- trad(Y, Z), R is Z.