¿Qué es la “lógica” en la programación lógica? ¿Tiene matemáticas como álgebra o cálculo involucrados?

Answer 1

Si. Tiene una lógica de primer orden involucrada en el lenguaje, lo que significa que hace cosas con valor lógico de verdadero o falso, y otras operaciones lógicas como conjunción, disyunción, implicación, etc.

Tome como ejemplo los lenguajes de programación lógica más conocidos Prolog

amores (vincent, mia).
amores (marcelo, mia).
amores (calabaza, cariño).
amores (honey_bunny, calabaza).
celoso (X, Y): –
ama (X, Z),
ama (Y, Z).

Cada cláusula describe una relación lógica del hecho. Como loe(vincent, mia) significa que vincent loves mia debería ser cierto, etc. Puede ver las cuatro cláusulas de algún tipo de disyunción, y el :- operador es algo así como implica en lógica de primer orden, aunque en un estilo inverso, y , operador es como la conjunción (lógica y), por lo que el jealous(X, Y) :- loves(X, Z), loves(Y, Z). significa “ama (X, Z) y ama (Y, Z) implica celos (X, Y)”.

Y los lenguajes lógicos usan la búsqueda (algoritmo de unificación) para hacer la consulta, como en el ejemplo anterior, si consultamos jealous(X, Y) devolverá algo como

X = Y, Y = Vincent
X = Vincent,
Y = marcelo
X = marcelo,
Y = Vincent
X = Y, Y = marcelo
X = Y, Y = calabaza
X = Y, Y = conejito de miel

Answer 2

Supongo que ya has leído esto: programación lógica. Esta es una buena introducción a lo que es la programación lógica.

Tiene matemáticas, pero no en el sentido que usted quiso decir: hay lenguajes creados dentro de ese paradigma que están completos, por lo que es posible formalizar las matemáticas con la ayuda de LP. Y dado que LP se basa en la lógica formal, uno no necesita tanta matemática (como cálculo) para entenderlo.