ASP-driven User-interaction with Clinguin
Alexander Beiser, Susana Hahn, Torsten Schaub
TL;DR
Clinguin addresses the challenge of building user interfaces for ASP applications by allowing UI specification directly in ASP and handling user-triggered events through a small set of dedicated predicates. It uses a client-server architecture with RESTful communication and a ui-state defined by elem/3, attr/3, and when/4, enabling interactive workflows integrated with clingo's multi-shot solving. The approach supports extensibility via modular backends and pluggable frontends, including an ExplanationBackend that delivers minimal unsatisfiable sets and natural-language explanations. The work demonstrates practical ASP-driven UI prototyping and provides open-source tooling to accelerate developer iteration and deployment.
Abstract
We present clinguin, a system for ASP-driven user interface design. Clinguin streamlines the development of user interfaces for ASP developers by letting them build interactive prototypes directly in ASP, eliminating the need for separate frontend languages. To this end, clinguin uses a few dedicated predicates to define user interfaces and the treatment of user-triggered events. This simple design greatly facilitates the specification of user interactions with an ASP system, in our case clingo.