PROGRAMACIÓN LÓGICA

^PROBLEMAS.

^{Transformar las siguientes proposiones en formulas de lógica de primer orden. Explique brevemente el significado de cada uno de los predicados empleados.}

^{1. A Juan le gusta todo tipo de comida.}

^{2. Las manzanas son comida.}

^{3. El pollo es comida.}

^{4. Ninguna persona come y es muerta por esta comida.}

^{5. Susan come todo lo que come Bill.}

^{6. Los mienbros del CLUB ELM son Joe, Sally y Ellen.}

^{7. Bill mato a John.}

^{8. Bill mato a John con un cuhillo.}

^SOLUCIONES.

^{APUNTES SEMESTRE ENERO-MAYO 2004}

CONSTRUCCIÓN DE ÁRBOLES

(1)APUNTES.zip

LISTAS

(2)LISTAS.DOC

^{SOFTWARE DISPONIBLE}

Windows Prolog.

(1) pro1.zip

(2) pro2.zip

Descargar los archivos anteriores, ejecute (1) y proceda a descomprimir el paquete en c:\. Dejando una carpeta

C:\pro386, posteriormente ejecute el (2) en c:\.

El archivo ejecutable se encuentra en C:\pro386 \ pro386w.exe.

Visual Prolog 5.2

Visual Prolog.zip (18 Mb )

sugerencias y comentarios