Verification of Prolog Programs Using an Extension of Execution.

Tadashi Kanamori Hirohisa Seki

Published in: ICLP (1986)

Keyphrases

prolog programs
logic programs
control flow
symbolic execution
model checking
data flow
asynchronous circuits
answer set programming
formal verification
execution model
information retrieval
neural network
active databases
answer sets
signature verification
constraint satisfaction
logic programming