Uniform proofs as a foundation for logic programming
Under a Creative Commons license
open archive
Cited by (0)
A preliminary version of this paper appeared as [21]. Theorem 3 of that paper is incorrect. It is corrected by the material in Sections 5 and 6 of the current paper.
- **
Supported by NSF grant CCR-87-05596 and DARPA grant N000-14-85-K-0018.
- **:*
Supported by NSF grant IRI-8805696 and ARO Contract DAAL03-88-K-0082.
- ∘
Supported by The Office of Naval Research under contract N00014-84-K-0415 and by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 5404, monitored by the Office of Naval Research under the same contract.
- ∘
Supported by NSF grants DMS85-01522 and CCR-87-05596, by ONR contact N00014-88-K-0635, and by the University of Pennsylvania Natural Sciences Association Young Faculty Award.
Copyright © 1991 Published by Elsevier B.V.