Informacin sobre Jape
===============================================================================

* La versin de Jape usada en la asignatura "Lgica informtica (curso
  2005-06)" es la 7.d4.9.

* El archivo LI.jt contiene la teora usada en la asignatura.

* El archivo LI_ejemplos_tema_LP.j contiene los ejemplos del tema 2.

* El archivo LI_ejemplos_tema_LP.jp contiene las pruebas de los ejemplos del
  tema 2. 

* Para iniciar el sistema hay que ejecutar la orden
     jape &
  cargar la teora LI.jt y, a continuacin, el fichero LI_ejemplos_tema_LP.j

---
Jos A. Alonso (jalonso@us.es)
