¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Tag: PROLOG-CUT

Cláusulas en (lambda)prolog que comienzan con un corte.

22 Jul, 2023 Programación 0

Estoy leyendo el documento “Implementing Type Theory in Higher Order Constraint Logic Programming” y en la página 7 veo el siguiente código lambda-prolog: % Reglas de tipo KAM en estilo CPS whd1 (app M N) S Ks Kf :- !, Ks [] M [N|S]. whd1 (lam T F1) [N|NS] Ks . . . Read more

¿Cuál es el papel del corte en el caso base?

14 Jun, 2023 Programación 0

gcd(X,X,X):- !. gcd(X,Y,Z):- X>Y, !, Inter is X – Y, gcd(Inter, Y, Z). gcd(X,Y,Z):- Inter is Y – X, gcd(X,Inter,Z). Entiendo la estructura del segundo corte con condición, pero no entiendo por qué el programa simplemente aborta con el primer corte.