1er Reto en Prolog (eyoZ)

Que tal… bueno hoy publicare un reto de programación sobre la inteligencia artificial (con una semana de atraso), así que comencemos.  Revisa el anterior post (ver).

Para hacer este reto me base en una frase que encontré en un libro (C# - Lenguaje Y Aplicaciones. CEBALLOS,  Javier)  [y ciertas discusiones con ExTmail], dice más o menos así: “Los científicos descubren el mundo tal cual es, los ingenieros crean el mundo que nunca fue”.

Ahora comencemos:

Enunciado del problema: Se ha pedido a un Licenciado que encuentre las Fbf de algunas sentencias lógicas, pero no sabe si lo ha hecho bien, ¡ayúdale!

Sentencias lógicas:

            1.    ∀x: investigador(x) ^ otras_habilidades(x) → constructor_futuro(x)

            2.    ∀x: científico(x) v ingeniero(x) → investigador(x)

            3.    ∀x: ing_informatica(x) → ingeniero(x) ^ otras_habilidades(x)

            4.    ing_informatica(alberto)

            5.    científico(extmail)

Y el las transformo a Fbf, dando como resultado:

1.- ¬invetigador(x) v otras_habilidades v constructor_futuro(x)

2a.- ingeniero(x) v investigador(x)

2b.- científico(x) v investigador(x)

3a.- ¬ing_informatica(x) ^ otras_habilidades(x)

3b.- ¬ing_informatica(x) ^ ingeniero(x)

Resuelve el reto:

1.- Intenta revisar la lógica de este licenciado, ¿tiene fallas? De ser así corrígelas.

2.- Crea un programa en Prolog con las Fbf obtenidas, y realiza las siguientes consultas:

1.- ing_informatica(alberto)

2.- ing_informatica(extmail)

3.- investigador(eyoz)

4.- constructor_futuro(alberto)

5.- constructor_futuro(x)

Menciona el valor retornado por Prolog, y describe brevemente por que devuelve ese valor.

3.- abre el debugguer y repite la consulta no. 5, menciona brevemente el trabajo que hace Prolog.

Bien eso es todo, ¡inténtalo!, la respuesta al reto será publicada el día miércoles (sin falta), no olvides mandar tu respuesta, duda, comentario, etc. A:

retoswm [at] gmail.com

NOTA IMPORTANTE:

El programa de arriba carece de cualquier tipo de objetividad, y da a relucir parte de mi humor retorcido, solo se utilizo como ejemplo para esta introducción a Prolog.