Sistemas usados en"Programación declarativa (2015-16)"

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

Instalación de los sistemas en Windows

Seguir estas instrucciones, en orden:

  • En primer lugar, descargar la plataforma Haskell de aquí e instalarlo.
  • A continuación, descargar y ejecutar el Instalador de Emacs (ejecutable).

Instalación de los sistemas en Ubuntu

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

Además, copiar en el directorio del usuario el fichero de configuración de emacs. Hay que tener en cuenta que los nombres de las carpetas y el nombre de usuario no deben contener acentos, ñ, ni guiones u otros símbolos ortográficos, ni espacios en blanco.

Instalación de los sistemas en un Mac

  • Instalar MacPorts usando su guía de instalación
  • Instalar aquamacs desde aquí
  • Configurar aquamacs: En la pestaña Options seleccionar Option, Command, Meta keys y después Meta & Spanish
  • Instalar la plataforma Haskell desde aquí

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

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