A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs.

Paul Brna Alan Bundy Helen Pain

Published in: ALPUK (1990)

Keyphrases

prolog programs
logic programs
neural network
main contribution
theoretical framework
novice programmers
genetic algorithm
website
web services
case study
database systems