Introducción a la programación lógica con Prolog

Sinopsis

Este documento ofrece una introducción concisa a la programación lógica utilizando Prolog, abordando conceptos clave como el sistema deductivo de Prolog, la representación de reglas y hechos, y la deducción en lógica proposicional, relacional y funcional, con ejemplos prácticos. [lawebdelprogramador.com](https://www.lawebdelprogramador.com/pdf/3093-Introduccion-a-la-programacion-logica-con-Prolog.html)