Moviola

Moviola: interpreting dynamic logic programs via multi-shot answer set programming. The causal rejection-based update semantics assign meanings to a dynamic logic program (DLP), which is a sequence of logic programs each one updating the preceding ones. Although there are translations of DLPs under these update semantics to logic programs of answer set programming (ASP), they have not led to efficient and easy to use implementations. This is mainly because such translations aim offline solving in a sense that the resulting logic program is given to an answer set solver to compute models of the current DLP and for any future updates the whole process has to be repeated from scratch. We aim to remedy this situation by utilizing multi-shot ASP, composed of iterative answer set computations of a changing program without restarting from scratch at every step. To this end, we developed a system called Moviola, utilizing the multi-shot answer set solver Clingo. Using the system, a user can interactively write a DLP, update it, compute its models according to various semantics on the fly.