Lógica de programación

Gustavo Gálvez Zenteno

Lógica matemática y digital

Instituto IACC

29/12/2019
1) De la siguiente línea de código:

a) Identifique las secciones (1pto).

b) Identifique los hechos (1pto).

c) Mencione las reglas y la unificación en el caso de que exista.

Predicados Mondeterm Hermana (STRING, STRING)

Mondeterm Hermano (STRING, STRING)

Mondeterm Casado (STRING, STRING)

Mondeterm Cunado (STRING, STRING)

Cláusulas Casado (“Tiberio”, “Carolina”)

Casado (“Jaider”, “Adriana”)

Hermano (“Jaider”, “Tiberio”)

Hermana (“Adriana”, “Edna”)

Hermana (“Adriana”, “Mónica”)

Cunado (A, C),

Hermana (C, B),

Cunado (A, B),

Hermano (A, C)

Casado (C, B)

Goal Cunado (“Jaider”, Z)

R=

-Sección Predicado: Van todas las formas generales de los predicados.

-Sección clauses-hechos: En esta sección van los hechos y las reglas del programa.

-Sección goal- objetivo.

-Hecho 1: Casado (“Tiberio”, “Carolina”)

-Hecho 2: Casado (“Jaider”, “Adriana”)

-Hecho 3: Hermano (“Jaider”, “Tiberio”)

-Hecho 4: Hermana (“Adriana”, “Edna”)

-Hecho 5: Hermana (“Adriana”, “Mónica”)

-Regla : Cunado (A, C),

-Regla : Hermana (C, B),

-Regla : Cunado (A, B),

-Regla : Hermano (A, C)

-Regla : Casado (C, B)

2) Siendo las siguientes reglas, diseñe el diagrama de bloques correspondiente:

Para hacer el diagrama asigne los valores A = Verdadero, G = Falso, K = Falso, L = Falso,

determine

el Valor de H, mediante la estrategia de encadenamiento de reglas orientado a un objetivo.

Asignar valores:

A= Verdadero G=Falso K=Falso L=Falso

Determinar el valor de H

Simbología:

Paso 1: Estructura del diagrama.

Paso 2: Se marca el objetivo y se busca una regla que involucre a H

Para este caso se involucra la regla 3, por lo tanto, se señala a J como nuevo objetivo.
Paso 3: El objetivo es J
Ahora pasa J nuevo objetivo, dónde H pasa a ser un objetivo previo, se marca J y se busca una

regla que involucre a J.

La regla que involucra a J es la regla 5 dónde dice, Si G y J entonces L, como se desconoce el

valor de G, no se puede concluir

Paso 4: Señala como nuevo objetivo G

Se señala a G como el nuevo objetivo, H y J pasan a ser objetivos de G y se busca una regla que

involucre a G, para esto se encuentra la regla 2 que dice: Si D, E y F entonces G.

Al observar la simbología dada para este ejercicio G = Falso, por ende, el valor de H es Falso y

finaliza.

Paso4

Paso2

Paso3
3) Diseñe un algoritmo que permita hallar los abuelos de Luis, basándose en los siguientes

hechos.

Julio es el padre de Jaider

José es el padre de Adriana

Jaider es el padre de pedro

Adriana es la hermana de pedro

Pedro es hermano de Luis

Pedro es hermano de Luis

RESPUESTA:

Domains

persona= string

Predicates

padre(persona,persona).

Clauses

Padre ("Julio", "Jaider"). %Julio es padre de Jaider

Padre ("José", "Adriana"). %José es padre de Adriana

Padre ("Jaider", "Pedro"). %Jaider es padre de Pedro

Hermanos ("Adriana", "Pedro"). %Adriana es Hermana de Pedro

Hermanos ("Pedro", "Luis"). %Pedro es Hermano de Luis

Por lo tanto, los abuelos de Luis son Julio y José y conforman dos familias, donde Pedro,

Adriana y Luis tienen consanguineidad por parte materna.

 Bibliografía

IACC (2018). Lógica de programación. Lógica Matemática y Digital.

Semana 8.