Por otra parte, una regla como A :- B1,B2,... significa, declarativamente, «A si B1 y B2 y...» . La lectura procedimental de la misma regla es «para demostrar A demuéstrese primero B1, luego B2, etc.» O bien, si la regla contiene variables, «para encontrar valores para las variables que figuran en A, búsquense valores de variables que satisfagan B1, luego B2, etc» . El hecho de tener presente el modelo procesal puede ser importante para conseguir programas eficientes, como vamos a ver con un ejemplo.