Next: Estrategias de resolución
Up: Resolución: un procedimiento de
Previous: Ejemplo del procedimiento de
- problema: P(A) y P(B) no unifican a pesar de que en la KB tengamos una sentencia A=B
- regla de demodulación: si
Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996