skip to main content
article
Free Access

SetLog, a tool for experimenting with new semantics

Authors Info & Claims
Published:02 January 1991Publication History
Skip Abstract Section

Abstract

SetLog is a software system that can be used to experiment on several semantics for extensions of Prolog with sets. A first prototype of SetLog has been implemented including the features of a standard Prolog interpreter and of an interpreter for finite set expressions (SETL). Examples of uses of the system are also presented.

References

  1. {AMOP 89} D. Aliffi, D. Montanari, E. Omodeo and M. Pellegrini, Meta-interpreting SETL, ENIDATA-Italy internal rep.Google ScholarGoogle Scholar
  2. {AHU 83} A. V. Aho, J. E. Hopcroft, J. D. Ullman Data Structures and Algorithms, Addison-Wesley, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. {BNRST 87} C. Beeri, S. Naqvi et. al., Set and negation in a Logic Database language (LDL1), Proceedings of the 6th ACM SIGMOD Symposium on Principles of DataBase Systems, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. {ClM 81} W.F. Clocksin, C.S. Mellish, Programming in Prolog, Springer Verlag, 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. {Desp 87} T. Despeyroux, TYPOL a Formalism to Implement Natural Semantics, INRIA Tech. Rep. Draft Version, April 28, 1987.Google ScholarGoogle Scholar
  6. {DKLM 80} V. Donzeau-Gouge, G. Kahn, B. Lang, B. Melese, Documents structure and modularity in Mentor, Proc. ACM SIGSOFT/SIGPLAN Software Eng. Symp. Prac. Software Develop. Env., Apt 1984 (141-148). Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. {Hal 60} P. R. Halmos, Naive set theory, Van Nostrand Reinhold Co., New York, 1960.Google ScholarGoogle Scholar
  8. {Hogg 84} C.J. Hogger, Introduction to Logic Programming, Academic Press, London, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. {KlSz 85} F. Kluzniak and S. Szpakowicz, Prolog for Programmers, Academic Press, London, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. {Kow 79} R. Kowalsky, Logic for Problem Solving, North Holland, New York, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. {Kup 86} G.M. Kuper, Logic Programming With Sets, Proceedings of the 6th ACM SIGMOD Symposium on Principles of DataBase Systems, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. {Lloyd 87} J.W. Lloyd, Foundation of logic programming, second edition Springer Verlag, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. {SDDS 86} J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, E. Shonberg, Programming with Sets, an introduction to SETL, Springer Verlag, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. {Sig 89} R. Sigal, Desiderata for logic programming with sets, In Proc. "Quarto convegno nazionale di programmazione logica", GULP89. 1989.Google ScholarGoogle Scholar
  15. {Cpro} C_prolog User's Manual, University of Edinburgh, Edinburgh.Google ScholarGoogle Scholar

Index Terms

  1. SetLog, a tool for experimenting with new semantics

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGPLAN Notices
          ACM SIGPLAN Notices  Volume 26, Issue 2
          Feb. 1991
          106 pages
          ISSN:0362-1340
          EISSN:1558-1160
          DOI:10.1145/122179
          Issue’s Table of Contents

          Copyright © 1991 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 2 January 1991

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader