Diseño de la base de conocimiento

• rutinas Fetch (traer de la KB: búsqueda y unificación) y Store (salvar en la KB)
• Indexado con tablas
  KB es una tabla hash cuyas claves son símbolos de predicados y cuyo valor para cada clave tiene cuatro componentes:
  1. lista con los literales positivos para el símbolo de predicado
  2. lista con los literales negativos para el símbolo de predicado
  3. lista de sentencias con el símbolo de predicado en la conclusión
  4. lista de sentencias con el símbolo de predicado en la premisa
  apropiado cuando hay muchos símbolos de predicado y pocas cláusulas para cada símbolo
• Indexado con tablas
  apropiado cuando hay muchas cláusulas para cada símbolo de predicado
  1. indexado con árboles
     indexar no sólo con los predicados sino también con los argumentos, cada lista se convierte en una nueva tabla cuyas claves son los argumentos
     no es de ayuda cuando uno de los argumentos de la búsqueda es una variable