37694233 separata ia

Las variables libres ser谩n ligadas con los valores de cabeza y cola de la lista.

Lista1 Lista2 Emparejamiento [X, Y, Z] [alberto, come, helado] X = alberto, Y = come, Z = helado [7] [X | Y] X=7 , Y = [ ] [1,2,3,4] [X, Y | Z] X=1,Y=2,Z=[3,4] [1, 2] [3 | X] falla /* programa con listas */ domains letras = symbol* numero = reales* predicates ciudades (letras) cantidad (numero, letras, real) clauses ciudades ( [a, b, c, d, hola]). ciudades ( [lima, tacna, ica] ). cantidades ( [3.8, 6.5, 3.2, e-5, 0.5], [h, h, h], 0.50) goal: ciudades (B).

B= [A, B, C, D, Hola] B= [lima, tacna, ica] 2 soluciones goal: ciudades ( [X | Y] ), nl X = [a] Y = [b, c, d, hola] X = [lima] Y = [tacna, ica] 2 soluciones goal: ciudades (A, B, C, D, E) A= a , B= b , C= c , D= d , E= hola 1 soluci贸n goal: ciudades (a,[_]) True