types - superponer - La variable tipo para unificar ocurre en tipo
algorithm - online - logic programming - edu.lat
name - ¿Prólogo, acceder al miembro específico de la lista?
pattern matching - ¿Diferencias entre la coincidencia de patrones y la unificación? - edu.lat
algorithm - keywords - meta tags seo 2018 - edu.lat
haskell - Tipo de diversión gx=ys donde ys=[x]++ filter(curry gx) ys?
artificial intelligence - ¿Cómo puedo implementar el algoritmo de unificación en un lenguaje como Ja