type-systems - relacion - razonamiento en lenguaje formal - edu.lat

logic - ¿Qué es más interesante o poderoso: Curry, Mercury o Lambda-Prolog?