Diferencia entre revisiones de «Sistemas»

Revisión actual del 23:52 20 oct 2019

Sistemas utilizados en Lógica computacional y teoría de modelos (2019-20)

En esta página se irán escribiendo enlaces a los sistemas utilizados en el curso

gringo, clasp y clingo
- Instalación de los sistemas:
  - En Ubuntu 16.04 se instala con: sudo apt-get install gringo
  - Instala gringo (4.5.4-1) y clasp (3.1.4-1).
  - Se puede comprobar la versión con: gringo --version (clasp -- version)
  - La ayuda se obtiene con: gringo --help
  - Formas de ejecutarlo:
    - gringo [ opciones | ficheros ] | clasp [ opciones | número ]
    - clingo [ opciones | ficheros | número ]
    - gringo transforma un programa lógico en un programa equivalente sin variables.
    - clasp obtiene los modelos a partir de la salida de gringo.
    - clingo es una combinación de gringo y clasp.

Sistemas en línea

@@ Línea 1: / Línea 1: @@
-== Sistemas utilizados en ''Lógica computacional y teoría de modelos (2018-19)'' ==
+== Sistemas utilizados en ''Lógica computacional y teoría de modelos (2019-20)'' ==
-En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
+En esta página se irán escribiendo enlaces a los sistemas utilizados en el curso
 * [http://potassco.sourceforge.net gringo, clasp y clingo]
@@ Línea 10: / Línea 10: @@
 *** La ayuda se obtiene con: gringo --help
 *** Formas de ejecutarlo:
-    gringo [ opciones | ficheros ] | clasp [ opciones | número ]
+**** gringo [ opciones | ficheros ] | clasp [ opciones | número ]
-    clingo [ opciones | ficheros | número ]
+**** clingo [ opciones | ficheros | número ]
 **** gringo transforma un programa lógico en un programa equivalente sin variables.
 **** clasp obtiene los modelos a partir de la salida de gringo.
 **** clingo es una combinación de gringo y clasp.
+* Sistemas en línea
+** [https://potassco.org/clingo/run/  Running clingo in your browser].
+** [http://asptut.gibbi.com Answer Set Programming for the Semantic Web - Tutorial].
-# [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL].
+** [http://wave.ttu.edu/ online SPARC].
-# [http://www.glc.us.es/apli2 APLI2 (APLIcación de Ayuda Para Lógica Informática)].
-# [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (un editor de demostraciones por deducción natural).
-# [https://elfe-prover.org ELFE prover] (Interactive theorem proving for students).
-# [http://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes).

De Lógica computacional y teoría de modelos (2019-20)

Revisión actual del 23:52 20 oct 2019

Sistemas utilizados en Lógica computacional y teoría de modelos (2019-20)