Tabulation-based induction proofs with applications to automated verification
| Author(s) : | S. A. Smolka I. V. Ramakrishnan C. R. Ramakrishnan Abhik Roychoudhury, |
| Publisher : | N/A |
| Publication Date : | 1998 |
| ISSN : | N/A |
| Abstract : | XSB [14] is a tabled logic programming system designed to address shortcomings in Prolog's SLD evaluation mechanism for Horn programs. SLD's poor termination and complexity properties have rendered Prolog unsuitable for deductive database (DDB) and non-monotonic reasoning (NMR) applications. In contrast,, |