A.5. Prolog y
lógica
Terminamos reflexionando brevemente sobre las limitaciones de Prolog con respecto
al ideal de la programación lógica Las limitaciones con respecto al modelo
proporcionado por la lógica formal (considerando solamente la lógica de predicados de
primer orden, deductiva, monótona y con sólo dos valores de verdad y falsedad) son
tanto sintácticas como semánticas.
DIT-ETSIT-UPM