¿Cuál sería la mejor definición para el predicado lógico puro resta/3 (resta(X,Y,Z)) que tiene éxito si Z es X menos Y, si X es mayor o igual que Y; y 0, en caso contrario.

Question

Answer

resta(X,Y,Z) :- mayor(X,Y), suma(Y,Z,X). 
 resta(X,0,X). 
 resta(X,Y,0) :- menor(X,Y).

Answer

resta(X,Y,Z) :- mayor(X,Y), suma(Y,Z,X). 
 resta(X,X,0). 
 resta(X,Y,0) :- menor(X,Y).

Answer

resta(X,Y,Z) :- mayor(X,Y), suma(Y,Z,X). 
 resta(X,X,0).

Answer

resta(X,Y,Z) :- mayor(X,Y), resta(Y,Z,X). 
 resta(X,X,0). 
 resta(X,Y,0) :- menor(X,Y).

Crowdly

¿Cuál sería la mejor definición para el predicado lógico puro resta/3 (resta(X,Y...

Want instant access to all verified answers on moodle.upm.es?