In software engineering, tracing is a specialized way for recording information about the execution of a program for debugging purposes. The more complex the system, the more difficult is developing a manageable, and thus practically useful, tracer. Answer Set Programming (ASP) systems represent no exception in this respect: the intrinsic complexity of reasoning required the design of elaborated evaluation algorithms. In this paper, we present a suitable solution to the problem of tracing the execution of an ASP system and its implementation into the ASP system DLV. The tool herein presented features a graphical user interface and an on-line tracing method that puts it on the way between tracing and debugging. The range of applicability counts: bug fixing, system optimization, ASP-developing aids, and educational purposes.

A Visual Tracer for DLV

CALIMERI, Francesco;LEONE, Nicola;RICCA, Francesco;
2009-01-01

Abstract

In software engineering, tracing is a specialized way for recording information about the execution of a program for debugging purposes. The more complex the system, the more difficult is developing a manageable, and thus practically useful, tracer. Answer Set Programming (ASP) systems represent no exception in this respect: the intrinsic complexity of reasoning required the design of elaborated evaluation algorithms. In this paper, we present a suitable solution to the problem of tracing the execution of an ASP system and its implementation into the ASP system DLV. The tool herein presented features a graphical user interface and an on-line tracing method that puts it on the way between tracing and debugging. The range of applicability counts: bug fixing, system optimization, ASP-developing aids, and educational purposes.
2009
answer set programming; nonmonotonic reasoning; artificial intelligence; tracing
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/161083
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? ND
social impact