logic programming

0 programación lógica

Paradigma de programación que se basa en gran medida en la lógica formal. Cualquier programa escrito en un lenguaje de programación lógico es un conjunto de oraciones en forma lógica, expresando hechos y reglas sobre algún dominio de problema. La solución a un problema deseado se encuentra mediante una búsqueda inversa utilizando la base de datos de hechos y axiomas lógicos.
Las principales familias de lenguajes de programación de lógica incluyen Prolog, Answer set programming (ASP) y Datalog.

2017-12-26

Inductive Logic Programming
ILP
Prolog
Prolog