Justification Based on Program Transformation

@inproceedings{Guo2002JustificationBO,
  title={Justification Based on Program Transformation},
  author={Hai-Feng Guo and C. R. Ramakrishnan and I. V. Ramakrishnan},
  booktitle={LOPSTR},
  year={2002}
}
Justification is to give evidence, in terms of a proof, for the truth value of the result generated by query evaluation of a logic program. In an earlier work we presented algorithms for justifying logic programs. It was based on using tabling for evaluating the program and post-processing the memo tables created during evaluation. Justification built in this fashion does not compromise the performance of query evaluation in the sense that it is completely decoupled from the query evaluation… CONTINUE READING
BETA

Similar Papers

Loading similar papers…