Para realizar las prácticas de Matemáticas 1 necesitas:

  • Tener instalado Linux (o una máquina virtual con Linux)
  • Tener instalado swi-prolog
  • Descargar y descomprimir la última versión de PLMan (2020-1, 11/10/2020).

Opción 1: Máquina virtual

Dispones de la máquina virtual de la EPS en Virtual Box, que incluye todo el software de los laboratorios y también swi-prolog. Necesitas:

Sigue las instrucciones de instalación

Opcion 2: Linux + Swi-prolog

Si ya eres usuario nativo de Linux, únicamente debes instalar los paquetes de swi-prolog en tu sistema. Utiliza el gestor de paquetes de tu distribución para buscarlo e instalarlo. Algunos ejemplos de comandos de instalación en el terminal:

  • Ubuntu/Debian: sudo apt-get install swi-prolog
  • Arch:          sudo pacman -S swi-prolog

Descargar y descomprimir PLMan

Puedes descargar y descomprimir PLMan (2020-1, 11/10/2020) en cualquiera parte de tu sistema. Normalmente, lo más cómodo es que lo descargues en tu carpeta de usuario o en el escritorio. Es importante que descomprimas la carpeta y no intentes usarlo directamente desde el ZIP, pues no funcionará.

Last modified: Friday, 15 September 2023, 5:12 PM