A predicate-transition net model for parallel interpretation of logic programs

DOI10.1109/32.4671MaRDI QIDQ3801054zbMATH OpenOpenAlexFDO

Authors Tadao Murata, Du Zhang

Publication date 1988

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.4671

zbMATH Keywords

and/or parallelismscommunication processesdeduction methodfixed point semanticsHorn clause logic programsparallel processingPetri netspredicate/transition netrelational operations

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4128360
• An abstract machine for the implementation of PARLOG on uniprocessors
• Parallel and distributed logic programming. Towards the design of a framework for the next generation database machines.
• scientific article; zbMATH DE number 4172388
• AND parallelism and nondeterminism in logic programs

Cited in

(8)

• Inconsistency check of a set of clauses using Petri net reductions
• Inference approach based on Petri nets
• Model checking multi-agent systems with logic based Petri nets
• Planning without state space explosion: Petri net to Markov decision process
• scientific article; zbMATH DE number 4162310 (Why is no real title available?)
• Some issues about Petri net application to manufacturing and process supervisory control
• Multi-agent-systems based on coloured Petri nets
• Complete inference via knowledge Petri nets and resolution rules

This page was built for publication: A predicate-transition net model for parallel interpretation of logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3801054)