This repository contains the source code of the aspguid compiler, which enables the compilation of ASP encodings annotated with the aspguid language. The aspguid compiler and allows to generate the Java application source code for an annotated ASP encoding, to compile an annotated ASP encoding into an executable .jar application and to directly execute an annotated ASP encoding for testing purposes.
An executable version of the most recent aspguid compiler is available as aspguidc.jar. A full implementation documentation is accessible in the javadoc-format. An example application developed using the aspguid approach is presented in the aspguid-project-planning repository.
aspguid is a new approach for implementing applications usable by users without prior logic programming experience based on annotated ASP programs. The approach consists of a declarative language for defining graphical user interfaces for ASP programs and a compiler that translates ASP programs which are annotated with such definitions into procedural code, that realizes respective graphical user interface assisted applications.
The aspguid techniques significantly reduce the development overhead and minimize the repetitive workload for developers, compared to the current state of the art solution of embedding ASP programs into manually developed imperative graphical user interfaces.
A complete introduction into the aspguid approach is available in the pdf-format.
java -jar aspguidc.jar {-g|-c|-e} input_file
-g generate java source code for the annotated asp encoding
-c compile annotated asp encoding into executable .jar
-e execute annotated asp encoding
Requirements of applications compiled by the aspguid compiler are presented in the aspguid-project-planning repository.
