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

• Emacs
• GHC Haskell
• SWI Prolog
• SldDraw: Herramienta para representar árboles SLD.

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 ]