El lenguaje lógico describe conjuntos de predicados como hechos, reglas que relacionan predicados y consultas sobre las reglas y predicados para obtener resultados. Los lenguajes lógicos tratan de obtener soluciones alternativas para cada consulta mediante sistemas de vuelta atrás (backtracking), soluciones alternativas en paralelo (OR-parallel) o diversas soluciones en paralelo (AND-parallel).
