Advertisement

An extension to horn clause logic allowing the definition of concurrent processes

  • Luis Monteiro
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    K. Clark, F. McCabe, "The control facilities of IC-Prolog", Dept. of Computing and Control, Imperial College, 1979.Google Scholar
  2. 2.
    M. Dausmann, G. Persch, G. Winterstein, "Concurrent logic", Univ. Kaiserslantern, 1979.Google Scholar
  3. 3.
    M. van Emden, R. Kowalski, "The semantics of predicate logic as a programming language", JACM 23 (1976), 733–742.CrossRefGoogle Scholar
  4. 4.
    M. van Emden, G. J. de Lucena, H. de M. Silva, "Predicate logic as a language for parallel programming", CS-79-15, Univ. Water loo, 1980.Google Scholar
  5. 5.
    R. Kowalski, "Predicate logic as a programming language", Proc. IFIP 1974.Google Scholar
  6. 6.
    R. Kowalski, "Logic for problem solving", North-Holland-Elsevier, New-York, 1979.Google Scholar
  7. 7.
    L. Monteiro, "Concurrent logic: a logical system for specifying concurrency", CIUNL 5/81, Univ. Nova de Lisboa, 1981.Google Scholar
  8. 8.
    L. Monteiro, "The semantics of concurrent logic", CIUNL 6/81, Univ. Nova de Lisboa, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Luis Monteiro
    • 1
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaLISBOA CODEXPORTUGAL

Personalised recommendations