A predicate-transition net model for parallel interpretation of logic programs
- 1 April 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (4) , 481-497
- https://doi.org/10.1109/32.4671
Abstract
No abstract availableThis publication has 26 references indexed in Scilit:
- A problem-oriented inferential database systemACM Transactions on Database Systems, 1986
- Modeling production rules by Means of Predicate Transition networksInformation Sciences, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Petri Net Models for the Evaluation of Applicative Programs Based on λ-ExpressionsIEEE Transactions on Software Engineering, 1983
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- How to find invariants for coloured Petri netsPublished by Springer Nature ,1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Algorithm = logic + controlCommunications of the ACM, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- State-space problem-reduction, and theorem proving—some relationshipsCommunications of the ACM, 1975