Continuamos usando a apostila (Ap).
Revisão de ressatisfação (backtracking) (Ap. 5, 5.1).
Introdução ao corte, um predicado extra-lógico (Ap. 5.2).
Usos do corte: indicar a cláusula correta, negação, limitar buscas (Ap. 5.3).
Cuidados com o corte: igualdade pode não mais ser equivalente a usar variáveis com o mesmo nome (Ap. 5.4).
Nenhum comentário:
Postar um comentário