A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.

@article{DBLP:journals/tkde/JeffreyLM96,
  author    = {John Jeffrey and
               Jorge Lobo and
               Tadao Murata},
  title     = {A High-Level Petri Net for Goal-Directed Semantics of Horn Clause
               Logic},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {2},
  year      = {1996},
  pages     = {241-259},
  ee        = {db/journals/tkde/JeffreyLM96.html, db/journals/tkde/JeffreyLM96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

CDROM Edition

References

[1]

Jonas Barklund, Nils Hagner, Malik Wafin: Condition Graphs. ICLP/SLP 1988: 435-446 BibTeX

[2]

...

[3]

T. Y. Chen, Jean-Louis Lassez, Graeme S. Port: Maximal Unifiable Subsets and Minimal Nonunifiable Subsets. New Generation Comput. 4(2): 133-152(1986) BibTeX

[4]

...

[5]

Saumya K. Debray: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 418-450(1989) BibTeX

[6]

...

[7]

...

[8]

Jean H. Gallier: Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row 1986, ISBN 0-06-042225-4
BibTeX

[9]

Jean H. Gallier, Stan Raatz: Logic Programming and Graph Rewriting. SLP 1985: 208-219 BibTeX

[10]

...

[11]

...

[12]

...

[13]

...

[14]

...

[15]

...

[16]

Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975) BibTeX

[17]

Robert A. Kowalski: Algorithm = Logic + Control. Commun. ACM 22(7): 424-436(1979) BibTeX

[18]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[19]

...

[20]

...

[21]

Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama: A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Trans. Knowl. Data Eng. 3(3): 281-292(1991) BibTeX

[22]

Tadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497(1988) BibTeX

[23]

...

[24]

R. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291 BibTeX

[25]

Ehud Y. Shapiro: The Family of Concurrent Logic Programming Languages. ACM Comput. Surv. 21(3): 413-510(1989) BibTeX

[26]

Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98 BibTeX

[27]

...

[28]

Maarten H. van Emden: An Algorithm for Interpreting Prolog Programs. ICLP 1982: 56-64 BibTeX

[29]

Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. ICLP 1987: 74-103 BibTeX

[30]

...