Curso 2003-2004 - dccia
Curso 2003-2004 - dccia
Curso 2003-2004 - dccia
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ENUNCIADO DE PRÁCTICAS –LC <strong>Curso</strong> <strong>2003</strong>/<strong>2004</strong><br />
Página 12<br />
? Antes de seguir, comprueba que Prolog responde correctamente a las preguntas:<br />
¿Dime algún lugar de procedencia de los primates?.<br />
¿Dime alguna especie de América?.<br />
¿Dime alguna especie de África?.<br />
¿Dime de dónde proceden las aves?.<br />
¿Dime la clave del zoo de Madrid?.<br />
¿Dime si algún zoo abre a las 8 h?.<br />
¿Dime si algún zoo abre a las 9 h?.<br />
CONSEJO: a partir de este momento verifica cada procedimiento que escribas realizando todas las<br />
preguntas (directas a ese procedimiento) que se te ocurran. Define los nuevos<br />
procedimientos apoyándote en los que ya tienes. Esto tendrá una doble ventaja, ya que por<br />
un lado, como ya has verificado que funcionan correctamente únicamente deberás<br />
comprobar lo nuevo que has añadido. Por otro lado, tu base de conocimientos será más<br />
fácil de modificar, ya que modificando únicamente un procedimiento su efecto se trasmite<br />
a todos los que lo utilizan.<br />
Práctica II<br />
SWI-Prolog II.b: Declaración de Reglas<br />
Presentación: Las reglas, al igual que los hechos, sirven para formalizar en Prolog sentencias<br />
declarativas del lenguaje natural que expresan que uno o varios objetos poseen unas determinadas<br />
propiedades, o que tienen algún tipo de relación entre ellos, pero usan definiciones, que pueden ser<br />
imaginarias o no y que están sujetas a algún tipo de restricción. Se puede decir que una regla es un<br />
hecho que depende de otros hechos. Trabajaremos con los apartados 1. Prolog y el lenguaje de la<br />
Lógica de Primer Orden; 2. Estructura de un programa y los subapartados 3.1. Caracteres y 3.2.<br />
Estructuras, del Anexo A: Prolog, del libro [Castel y Llorens,1999], así como con el fichero ej01.pl.<br />
Objetivos:<br />
Aprender la formalización en Prolog de reglas.<br />
Utilización de las conectivas lógicas.<br />
Hacer: (1,5 pto.)<br />
Formalizar reglas en Prolog que sigan los esquemas de relación ERII.b.<br />
Formalizar en Prolog las preguntas de la sección ?.<br />
Opcional: (0,25 ptos.)<br />
Formalizar tres reglas más que se os ocurran.<br />
ERII.b: Esquemas de relación para escribir reglas de Prolog.<br />
especies(Cod,Esp)