PL EN


2013 | 20 | suppl. 2 | 187 – 205
Article title

LOGIC PROGRAMMING AND INTERACTIVE APPLICATIONS

Content
Title variants
Languages of publication
EN
Abstracts
EN
Answer Set Programming (ASP) is a logic programming based truly declarative formalism for general purpose problem solving. Its declarative nature allows users to solve problems by defining what the solutions are instead of how to find them. Complete lack of an imperative component in ASP makes creation of end user applications or integration with other systems demanding. External tools that can process and interpret the output of ASP solvers are needed. To address this issue in the case of simple applications with an input – output interaction loop we introduce a framework for iterative logic applications. Such applications consist of a core logic program that is used to evaluate user actions w.r.t. their current state and to derive a new state of the application. We take care to define the framework in a way that allows it to be used also with other formalism, especially SAT solvers. We also present a web based implementation of such framework for ASP.
Contributors
  • Katedra aplikovanej informatiky, UK, Mlynská dolina, 842 48 Bratislava, Slovak Republic, simko@ii.fmph.uniba.sk
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-6944891c-4614-4b8c-8f78-6c53f45a7633
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.