Detecting Determinacy in Prolog Programs.

Andy King Lunjin Lu Samir Genaim

Published in: ICLP (2006)

Keyphrases

prolog programs
logic programs
automatic detection
databases
neural network
machine learning
information retrieval
learning algorithm
similarity measure
bayesian networks
intrusion detection
data flow