Inversibilidad

¡Hola de nuevo! :wave:

En las lecciones anteriores aprendimos sobre los elementos básicos del paradigma lógico: las bases de conocimiento, los predicados, los hechos y las reglas

Hasta ahora usando estos elementos pudimos construir consultas que nos responden si una cierta afirmación es verdadera. Por ejemplo:

? padre(homero, bart).
yes.

Sin embargo, Prolog puede hacer mucho más por nosotros. ¡Veamos cómo!

Contenido