Digital Design

Como adelanté en el post pasado, una de las herramientas para mi tesis de maestría es el uso de ASP (Answer Set Programming) además de CSound y herramientas de ANTON 1.0 o superior. Dicha herramienta utiliza dos utilerías de ASP llamados Clasp (Solver) y Gringo (Grounder).

Estuve estudiando la sintaxis y tiene parecido con otros Solvers como DLV el cuál ya lo he probado, entre otros. Además les comparto mi experiencia en este nuevo enfoque de ASP desarrollado en la Universidad de Potsdam, Alemania (Potassco).

En esta primera parte les haré un pequeño tutorial de como instalarlos en Windows y lo que necesitan para empezar a trabajar con ASP. Existen todos los archivos para trabajar con estos ASPs en tu plataforma favorita pero me concentraré en Windows (en mi caso los probé en Windows 7). Primero que nada descarguen tanto Clasp como Gringo y como sugerencia editen los nombres de ambos archivos, en lugar de Clasp 1.3.4 solamente déjenlo en “Clasp” y lo mismo para Gringo.

Coloquen ambos ejecutables (.exe) en un solo directorio el cual no muevan seguido ya que vamos a tomar esa dirección y colocarla en el “Path” de las variables de entorno del sistema, por ejemplo esta es mi ruta: C:\Users\Fleiv\Desktop\Papers\Clasp ASPs Potsdam y dentro de “Clasp ASPs Potsdam” se encuentran mis ejecutables.

Una vez agregadas al Path del sistema abrimos una ventana de consola (cmd) y el directorio por default escribimos “gringo” y damos enter. Si se queda esperando el sistema y pareciera que se trabó, es porque se quedó esperando una entrada, pero quiere decir que ya están instalados y listos para usarse. Para regresar a la línea de comandos solo apretamos Ctrl + C.

En el siguiente post pasaremos a lo divertido… nuestra primera aplicación con Clasp y Gringo…