Programación Lógica

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un paradigma de programación y razonamiento en el que los programas se expresan como conjuntos de cláusulas lógicas y la computación procede mediante búsqueda dirigida de pruebas, utilizando típicamente unificación y retroceso para encontrar derivaciones que satisfacen metas.