Next:
Prolog y otros sistemas
Up:
Algunas cuestiones de implementación
Previous:
Diseño de la base
Implementación del algoritmo de unificación
eficiente por el elevado número de llamadas
la parte
occur-check
lo hace
Alvaro Barreiro Garcia
Thu Jul 18 18:54:04 MET DST 1996
