Algorithmic Debugging and Testing of Prolog Programs.

Gabriella Kókai László Harmath Tibor Gyimóthy

Published in: LPE (1997)

Keyphrases

prolog programs
logic programs
software testing
control flow
test cases
databases
data mining
high level
expert systems
hidden markov models
logic programming
orders of magnitude
parallel programming
hardware designs