Estadísticas del cursos: Introducción a Prolog - Prolog

Imágen de perfil

.pdfIntroducción a Prolog


Prolog

Actualizado el 3 de Mayo del 2021 por Administrador (Publicado el 4 de Noviembre del 2005)
18.260 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.

271 visualizaciones durante los últimos 90 días


44
0