Ejercicio 1

Definir un predicado sus(X,Y,L1,L2) que sea capaz de sustituir un elemento X por otro Y en la lista L1, para dar L2.

Solución

1
2
3
4

%Ejercicio 2
sus(_,_,[],[]).
sus(X,Y,[HT],[YRes]):-X=H,sus(X,Y,T,Res).
sus(X,Y,[HT],[HRes]):-X\=H,sus(X,Y,T,Res).

Ejercicio 2

Definir la relación aplanar(Lista, Aplanada), donde Lista es en general una lista de listas, tan compleja en su anidamiento como queramos imaginar, y Aplanada es la lista que resulta de reorganizar los elementos contenidos en las listas anidadas en un único nivel, i.e. una lista plana. Por ejemplo:

1
2

?- aplanar([[a, b], [c, [d, e]], f], L).
L = [a, b, c, d, e, f]

Solución

1
2
3
4

%Ejercicio 3
aplanar([],[]).
aplanar([XR],[XP]):- atomic(X),aplanar(R,P).
aplanar([XR],P):-  not(atomic(X)),aplanar(X,P_X),aplanar(R,P_R),append(P_X,P_R,P).

Ejercicio 3

Definir un predicado igualesElem(L1,L2) que compruebe que L1 y L2 son listas que
contienen los mismos elementos independientemente del orden de aparición.

Solución

1
2
3
4
5

%Ejercicio 4 
igualesElem([],[]).
igualesElem([H1T1],[H2T2]):- length([H1T1],N),length([H2T2],N),((H1==H2,igualesElem(T1,T2))
                                (algun(H1,[H2T2]),delete([H1T1],H1,AUX1),delete([H2T2],H1,AUX2),igualesElem(AUX1,AUX2))).
algun(X,[HT]):-(X==H)algun(X,T).

Ejercicio 4

Definir un predicado descomponer(N,A,B) que permita resolver el problema de descomponer un número natural N en la suma de dos pares A y B. Esto es, descomponer(N,A,B) debe tomar como entrada un natural N y devolver dos naturales A y B tales que N = A + B.

Solución

1
2
3
4

descomponer(N,A,B):-
    between(0,N,A), A mod 2=:=0, 
    between(0,N,B), B mod 2=:=0,
    A+B=:=N.

Ejercicio 5

Rompecabezas de Brandreth. El cuadrado de 45 es 2025. Notad que si partimos el número
en dos obtenemos los números 20 y 25 cuya suma es, precisamente, 45. Obtener que otros números cuyo cuadrado es un número de cuatro cifras cumplen esta propiedad. Con este fin, definir un predicado numBrandreth (N, C) que devuelva uno de estos números N y su cuadrado C.

Solución

1

numBrandreth(N,C):-between(32,99,N), C is N*N, A is C mod 100, B is C//100, A+B=:=N.

Pues bien, sin más preámbulos, aquí tenéis los ejercicios:

Enunciado

El siguiente programa Prolog especifica una base de datos deductiva sobre relaciones familiares. Completar el código dado, respondiendo a los diferentes apartados, mediante la lectura de estos fragmentos del Génesis.

“He aquí la descendencia de Teraj: Teraj engendró a Abram (posteriormente llamado `Abraham’, que significa `Padre de multitud’), Najor, y Harán. Harán engendró a Lot … La mujer de Abram se llamaba Sarai (o Sara) y la de Najor Melca, hija de Harán, padre de Melca y de Jesca.”

“Sarai, la mujer de Abram, no le había dado hijos, pero ella tenía una esclava egipcia de nombre Agar. … tomó a Agar y se la dio por mujer a Abram, … Agar parió un hijo a Abram y a este hijo tenido de Agar, Abram le llamó Ismael.”

Estando en la tierra de Guerar, Abram confeso que: ” es verdad que ella (Sarai) también es mi hermana, hija de mi padre pero no de mi madre, y ahora es mi mujer.”

“Sara, pues, concibió y parió un hijo en su vejez, en el tiempo predicho por Dios. Y Abraham llamó al hijo que le nació Isaac (que significa `el que ríe’).” Isaac casó con Rebeca, “hija de Batuel, el que Melca parió a Najor” y hermana de Labán. Isaac y Rebeca tuvieron dos hijos, Esaú y Jacob, pero ésta es otra historia.

El código dado por el ejercicio es:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

%%% HECHOS
 
padre(abraham,isaac).
padre(haran,lot).
padre(haran,melca).
padre(haran,jesca).
hombre(isaac).
hombre(lot).
mujer(melca).
mujer(jesca).
 
%%% REGLAS
 
ascendiente_directo(X, Y) :- (padre(X, Y) madre(X, Y)).
ascendiente(X, Z) :- ascendiente_directo(X, Z).
ascendiente(X, Z) :- ascendiente_directo(X, Y), ascendiente(Y, Z).
hijo(X,Y) :- hombre(X), ascendiente_directo(Y,X).
hija(X,Y) :- mujer(X), ascendiente_directo(Y,X).

Se pide responder a los siguientes apartados:

• Completar la base de datos con los hechos extraídos del fragmento del génesis anterior.
• Definir las relaciones: ascendente, descendente, abuelo, hermano, tío, sobrino y primo.
• Definir un predicado que nos informe de las relaciones que hoy consideramos incestuosas.

Solución

La solución que propongo es la siguiente (ya todo el código junto):

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

				%HECHOS
%hombre
hombre(abraham).
hombre(isaac).
hombre(lot).
hombre(najor).
hombre(ismael).
hombre(haran).
hombre(teraj).
hombre(batuel).
hombre(laban).
hombre(esau).
hombre(jacob).
 
%mujer
mujer(rebeca).
mujer(melca).
mujer(jesca).
mujer(sara).
mujer(agar).
 
%esclava
esclava(agar).
 
%padre
padre(abraham, isaac).
padre(abraham, ismael).
padre(haran, lot).
padre(haran, melca).
padre(haran, jesca).
padre(teraj, abraham).
padre(teraj, sara).
padre(teraj, najor).
padre(teraj, haran).
padre(batuel, rebeca).
padre(batuel, laban).
padre(najor, batuel).
padre(isaac, esau).
padre(isaac, jacob).
 
%madre
madre(agar, ismael).
madre(sara, isaac).
madre(rebeca, esau).
madre(rebeca, jacob).
madre(melca, batuel).
 
%casados 
casado(abraham, sara).
casado(isaac, rebeca).
casado(najor, melca).
 
 
				%REGLAS
%hijo
hijo(X, Y) :- padre(Y, X), hombre(X).
hija(X, Y) :- padre(Y, X), mujer(X).
 
%casados
casados(X, Y) :- casado(X, Y) casado(Y, X).
 
%ascendiente_directo
ascendiente_directo(X, Y) :- padre(X, Y) madre(X, Y).
 
%abuelo
abuelo(X, Y) :- padre(X, Z), ascendiente_directo(Z, Y).
 
%abuela
abuela(X, Y) :- madre(X, Z), ascendiente_directo(Z, Y).
 
%nieto
nieto(X, Y) :- (abuelo(Y, X) abuela(Y, X)), hombre(X).
 
%nieta
nieta(X, Y) :- (abuelo(Y, X) abuela(Y, X)), mujer(X).
 
%ascendiente
ascendiente(X, Y) :- ascendiente_directo(X, Y).
ascendiente(X, Y) :- abuelo(X, Y) abuela(X, Y).
 
%hermano
hermano(X, Y) :- hombre(X), (ascendiente_directo(Z, X), ascendiente_directo(Z, Y)), X\=Y.
 
%hermana
hermana(X, Y) :- mujer(X), (ascendiente_directo(Z, X), ascendiente_directo(Z, Y)), X\=Y.
 
%hermanos
hermanos(X, Y) :- hermano(X, Y) hermana(X, Y) hermano(Y, X) hermana(Y, X).
 
%descendiente_directo
descendiente_directo(X, Y) :- ascendiente_directo(Y, X).
 
%descendiente
descendiente(X, Y) :- descendiente_directo(Y, X).
descendiente(X, Y) :- nieto(X, Y) nieta(X, Y).
 
%tio_carnal
tio_carnal(X, Y) :- hermanos(X, Z), ascendiente_directo(Z, Y), hombre(X).
tia_carnal(X, Y) :- hermanos(X, Z), ascendiente_directo(Z, Y), mujer(X).
 
%tio_no_carnal
tio_no_carnal(X, Y) :- casados(X, Z), tia_carnal(Z, Y).
tia_no_carnal(X, Y) :- casados(X, Z), tio_carnal(Z, Y).
 
%tio
tio(X, Y) :- tio_carnal(X, Y) tio_no_carnal(X, Y), not(padre(X,Y)), X\==Y.
 
%tia
tia(X, Y) :- tia_carnal(X, Y) tia_no_carnal(X, Y), not(madre(X,Y)), X\==Y.
 
%sobrino
sobrino(X, Y) :- hombre(X), (tio(Y, X) tia(Y, X)).
 
%sobrina
sobrina(X, Y) :- mujer(X), (tio(Y, X) tia(Y, X)).
 
%primo
primo(X, Y) :- hombre(X), (tio(Z, X) tia(Z, X)), ascendiente_directo(Z, Y),X\==Y.
 
%prima
prima(X, Y) :- mujer(X), (tio(Z, X) tia(Z, X)), ascendiente_directo(Z, Y),X\==Y.
 
%primos
primos(X, Y) :- primo(X, Y) primo(Y, X) prima(X, Y) prima(Y, X).
 
%incestuosos
incestuosos(X, Y) :- casados(X, Y), hombre(X), mujer(Y),(hermanos(X, Y) primos(X, Y) ascendiente_directo(X, Y) descendiente_directo(X, Y) abuelo(X, Y) nieto(X, Y) abuela(X, Y) nieta(X, Y) tio(X, Y) tia(X, Y) sobrino(X, Y) sobrina(X, Y)).

Espero que os sirva. Y si quereis aprender Programación Declarativa y Prolog, os recomiendo el libro “Programación lógica. Teoría y Práctica”, de Pascual Julián Iranzo y María Alpuente Frasnedo, que está muy bien escrito y completamente en español.

Bueno, aquí os dejo unas prácticas resueltas de Simulación. No implica que este todo bien, es más se hicieron de una forma muy muy rápida, así que seguro que contiene algunos errores, pero viene muy bien como ayuda para empezar.

Viendo el código en Matlab me da vergüenza como está programado (no intentéis programar en Matlab como lo hacéis en Java o C, porque entonces estaréis perdiendo mucho potencial). Creo que toda la parte que implica sólo la programación en Matlab es compatible con Octave (sólo habrá que cambiar en ciertos lugares un poco de la sintaxis), pero para la parte de Simulink es imprescindible Matlab.

Espero que podáis utilizarlo, lo mejoréis y nos lo enviéis para que podamos volver a colgarlo para los siguientes que lo necesiten.

Si tienes otros apuntes, prácticas, o lo que sea y quieres compartirlo dinoslo y lo publicamos.

PD: Hay algunos datos “sospechosos” a quién los encuentre, le doy un premio.

También he añadido unas prácticas de Teoría de Autómatas y Lenguajes Formales, cortesía de XeMa.

Aprovecho para recordaros que podéis mandarme vuestros apuntes y prácticas, y yo los subiré gustoso. La sección de Apuntes está demostrando ser una buena ayuda para los estudiantes de Ingeniería Informática, y vosotros podéis ayudarme a ampliarla.

Espero que os sirva, un saludo.

Si no fuera por C, estaríamos escribiendo programas en BASI, PASAL y OBOL.

(Visto aquí)

La aplicación está hecha en flash y parece que funciona muy bien.

Espero que os guste, un saludo.