Login / Signup
On the Generation of Test Data for Prolog by Partial Evaluation
Miguel Gómez-Zamalloa
Elvira Albert
Germán Puebla
Published in:
CoRR (2009)
Keyphrases
</>
test data
partial evaluation
explanation based generalization
test cases
domain theory
test set
training data
logic programming
training set
higher order
data sets
modal logic
expert systems
programming language
training and test data
knowledge base
knowledge representation
background knowledge
generation algorithm