Complete Selection Functions for a Lazy Conditional Narrowing Calculus.

Aart Middeldorp Taro Suzuki Mohamed Hamada

Published in: J. Funct. Log. Program. (2002)

Keyphrases

provably correct
logic programs
selection algorithm
data sets
database systems
probability distribution
e government