EXTRACCIÓN DE SIGNIFICADO
➤ En lugar de tener una lambda como significado, en la GCD tenemos como argumentos separados sus componentes: en este caso, uno para la variable y otro para el cuerpo.
➤ El mecanismo de unificación sirve para “componer” el resultado.
?- phrase(oraci´on(S),[juan,es,alto]).
S = alto(juan)
F.J., M., & Ruiz Reina, J. (2012-2013). Procesamiento
del Lenguaje Natural. Recuperado el 21-23 de 04 de 2017, de Procesamiento
del Lenguaje Natural: https://www.cs.us.es/cursos/ia2/temas/tema-06.pdf
Comentarios
Publicar un comentario