Introducción a Prolog
Prolog
Actualizado el 3 de Mayo del 2021 por Administrador (Publicado el 4 de Noviembre del 2005)
19.524 visualizaciones desde el 4 de Noviembre del 2005
Un programa PROLOG es un conjunto de axiomas en un lenguaje de primer orden.
Estos axiomas no pueden tomar una forma arbitraria, sino que tienen restricciones sintácticas importantes. No es posible escribir un programa PROLOG a partir de cualquier conjunto de axiomas de un lenguaje de primer orden. Por otra parte, PROLOG está extendido con características extra-lógicas, de modo que la relación que hay entre PROLOG y lógica de predicados no es obvia.
Estos axiomas no pueden tomar una forma arbitraria, sino que tienen restricciones sintácticas importantes. No es posible escribir un programa PROLOG a partir de cualquier conjunto de axiomas de un lenguaje de primer orden. Por otra parte, PROLOG está extendido con características extra-lógicas, de modo que la relación que hay entre PROLOG y lógica de predicados no es obvia.