Inteligência Artificial, 7º termo de Ciência da Computação / Unoeste
Unificação
1° caso: Átomos
? - joao = joao
? - 12 = 12
2° caso: Variáveis
? X = átomo
? X = Y, Y = 10, write(X) % X e Y apontam para a mesma posição de memória
? X = 5, Y = X, Y = Z
3° caso: pessoa(joao, analista, dataAdm(10,05,1973))
? pessoa(X, Y, Z) = pessoa(joao, analista, dataAdm(10,05,1973))
Findall
findall(X, (regra(X)), Lista)
findall([X,Y], (regra(X,Y)), Lista)
length(Lista,N)