Sistemas usados en"ProgramaciĆ³n declarativa (2011-12)"

En esta página se encuentran enlaces a los sistemas utilizados en la asignatura "ProgramaciĆ³n declarativa".

Los sitios oficiales de los sistemas son los siguientes

Para instalar en Ubuntu los sistemas anteriores basta con seleccionar en el gestor de paquetes Synaptic los paquetes emacs23, ghc6, haskell-mode, quickcheck2, swi-prolog y prolog-el.


[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]

Universidad de Sevilla
Creative Commons License
Esta obra está bajo una licencia de Creative Commons.