Automated Debugging of Non-Terminating Prolog Programs.

Anna-Maria Emde Mireille Ducassé

Published in: LPE (1990)

Keyphrases

prolog programs
logic programs
fully automated
semi automated
computer assisted
answer set programming
object oriented