La computación lógica direccional métodos de procesamiento basados en el razonamiento formal. Los objetos de tales razonamientos son "hechos" o reglas "if then". Para computar lógicamente se utiliza un conjunto de tales estamentos para calcular la verdad o falsedad de ese conjunto de estamentos. Un estamento es un hecho si sus duplas verifican una serie de operaciones.
La computación lógica está por tanto relacionada con la automatización de algún conjunto de métodos de inferencia.