Obsérvese que el programa lógico no solamente es capaz de responder si una determinada hipótesis es verdadera o falsa.