Control avanzado

• metarazonamiento metareglas que decidan que probar primero, por ejemplo, reordenación normalmente será más rápido probar
  Profesion(p, Presidente) and Casado(s,p) and Salario(s, i)
  que Salario(s, i) and Casado(s,p) and Profesion(p, Presidente)
• backtracking cronológico, el que hace Prolog, vuelta al punto de elección más reciente. Puede ser ineficiente
  Residente(p, ciudad) and Residente(x, ciudad) and Profesion(p, presidente)
  Si Profesion(p, presidente) falla, Prolog vuelve a Residente(x, ciudad)
• backtracking con dependencia directa
  volvería a Residente(p, ciudad) para general una nueva ligadura de la variable p. Propio de sistemas compilados
• Capacidad de recordar inferencias computadas previamente en lugar de tener que hacer la prueba de nuevo