Diferencia entre revisiones de «Sistemas»
De Lógica computacional y teoría de modelos (2019-20)
(→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19)) |
|||
| (No se muestran 6 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
| − | == Sistemas utilizados en ''Lógica computacional y teoría de modelos ( | + | == Sistemas utilizados en ''Lógica computacional y teoría de modelos (2019-20)'' == |
| − | En esta página se | + | En esta página se irán escribiendo enlaces a los sistemas utilizados en el curso |
* [http://potassco.sourceforge.net gringo, clasp y clingo] | * [http://potassco.sourceforge.net gringo, clasp y clingo] | ||
| Línea 10: | Línea 10: | ||
*** La ayuda se obtiene con: gringo --help | *** La ayuda se obtiene con: gringo --help | ||
*** Formas de ejecutarlo: | *** 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. | **** gringo transforma un programa lógico en un programa equivalente sin variables. | ||
**** clasp obtiene los modelos a partir de la salida de gringo. | **** clasp obtiene los modelos a partir de la salida de gringo. | ||
**** clingo es una combinación de gringo y clasp. | **** 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://wave.ttu.edu/ online SPARC]. | ||
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.
- Instalación de los sistemas: