Interactive Debugging of Datalog Programs

Datalog is used for complex programming tasks nowadays, consisting of numerous inter-dependent predicates. But Datalog lacks interactive debugging techniques that support the stepwise execution and inspection of the execution state. In this paper, we propose interactive debugging of Datalog programs...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 7; no. OOPSLA2; pp. 745 - 772
Main Authors:	Pacak, André, Erdweg, Sebastian
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 16.10.2023
Subjects:	Constraint and logic programming Logic and databases Operational semantics Software and its engineering Software testing and debugging Theory of computation debugging Datalog QSQR small-step operational semantics
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!