Sistema de entrega de prácticas de Matemáticas I

  • Aumentar fuente
  • Fuente predeterminada
  • Disminuir fuente

Bienvenido a la web de prácticas de Pl-Man

E-mail Imprimir PDF

En esta web podrás entregar y seguir el progreso de las prácticas en las asignaturas en las que trabajes con Pl-Man en el curso 2017/18. Sigue las instrucciones de los profesores y disfruta aprendiendo con las prácticas en lenguaje Prolog Sonriente.

Esta web, y todo su contenido, está construida con el esfuerzo de los profesores de dichas asignaturas y con la intención de que sea lo más útil posible. Sin embargo, es muy posible que puedas encontrar problemas mientras la utilizas. Si es así, te agradeceremos enormemente que nos escribas comentándonos los problemas que hayas encontrado. Con tu ayuda haremos que esta web sea un espacio cada vez mejor para vosotros.

Descargar PL-MAN
(versión 11/12/2012)

RECORDATORIO: Está prohibido el uso de Predicados Dinámicos en las fases 1 y 2, y del Sensor de tipo Lista en las fases 1, 2 y 3. Si se detecta su utilización se procederá a la anulación de las soluciones que los incluyan

LAST_UPDATED2
 

Normas básicas de uso de la web, descarga y entrega de mapas

E-mail Imprimir PDF

Normas básicas de uso, descarga y entrega de prácticas a través de esta web.

Si detectais cualquier problema comunicadlo a vuestro profesor de prácticas.

 

 

LAST_UPDATED2
 

Script para ejecutar N veces plman

E-mail Imprimir PDF

Aquí tenéis un script que os permite ejecutar las veces que queráis una misma solución a un mapa de plman con 1 solo comando. El script ejecuta plman con una solución N veces, indicando el resultado de cada una de las ejecuciones realizadas y guardando logs de todas las ejecuciones que no se hayan completado al 100%. De esta forma podéis poner a prueba vuestras soluciones con 1 sólo comando y recoger en los logs la información necesaria para arreglar los casos conflictivos con los que os encontréis.

Una vez os hayáis descargado el fichero, al descomprimirlo encontraréis el script launch. Para saber como funciona sólo tenéis que ejecutarlo sin parámetros (./launch). Si no podéis ejecutarlo por falta de permisos, le podéis dar permiso de ejecución escribiendo chmod +x launch.

El script funciona en cualquier Linux / *NIX con el shell bash instalado.

LAST_UPDATED2
 

Instrucciones para la instalación de SWI-Prolog en Linux o MAC

E-mail Imprimir PDF

Documento con las instrucciones para la instalación de SWI-Prolog en Linux.

Documento con las instrucciones para la instalación de SWI-Prolog en Mac OS X.

Si teneis cualquier problema  en dicha instalación comunicadlo a vuestro profesor de prácticas.

LAST_UPDATED2
 

Menú principal

Acceso