Automated debugging of non-terminating Prolog programs.

Anna-Maria Emde Mireille Ducassé

Published in: SPLT (1990)

Keyphrases

prolog programs
logic programs
semi automated
answer set programming
logic programming
real time
data sets
data mining
information retrieval
digital libraries
fully automated
machine learning
relational databases
error rate
computer assisted
automated analysis