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.
- {AMOP 89} D. Aliffi, D. Montanari, E. Omodeo and M. Pellegrini, Meta-interpreting SETL, ENIDATA-Italy internal rep.Google Scholar
- {AHU 83} A. V. Aho, J. E. Hopcroft, J. D. Ullman Data Structures and Algorithms, Addison-Wesley, 1983. Google ScholarDigital Library
- {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 ScholarDigital Library
- {ClM 81} W.F. Clocksin, C.S. Mellish, Programming in Prolog, Springer Verlag, 1981. Google ScholarDigital Library
- {Desp 87} T. Despeyroux, TYPOL a Formalism to Implement Natural Semantics, INRIA Tech. Rep. Draft Version, April 28, 1987.Google Scholar
- {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 ScholarDigital Library
- {Hal 60} P. R. Halmos, Naive set theory, Van Nostrand Reinhold Co., New York, 1960.Google Scholar
- {Hogg 84} C.J. Hogger, Introduction to Logic Programming, Academic Press, London, 1984. Google ScholarDigital Library
- {KlSz 85} F. Kluzniak and S. Szpakowicz, Prolog for Programmers, Academic Press, London, 1985. Google ScholarDigital Library
- {Kow 79} R. Kowalsky, Logic for Problem Solving, North Holland, New York, 1979. Google ScholarDigital Library
- {Kup 86} G.M. Kuper, Logic Programming With Sets, Proceedings of the 6th ACM SIGMOD Symposium on Principles of DataBase Systems, 1987. Google ScholarDigital Library
- {Lloyd 87} J.W. Lloyd, Foundation of logic programming, second edition Springer Verlag, 1987. Google ScholarDigital Library
- {SDDS 86} J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, E. Shonberg, Programming with Sets, an introduction to SETL, Springer Verlag, 1986. Google ScholarDigital Library
- {Sig 89} R. Sigal, Desiderata for logic programming with sets, In Proc. "Quarto convegno nazionale di programmazione logica", GULP89. 1989.Google Scholar
- {Cpro} C_prolog User's Manual, University of Edinburgh, Edinburgh.Google Scholar
Index Terms
SetLog, a tool for experimenting with new semantics
Recommendations
Semantics of programming languages
A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan ...
Experimenting with parasail: parallel specification and implementation language
SIGAda '11: Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming languageThis tutorial provides an opportunity to experiment with a new language designed to support the safe, secure, and productive development of parallel programs. ParaSail is a new language with pervasive parallelism coupled with extensive compile-time ...
Versatile language semantics with reflective embedding
OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applicationsOften, for one programming language, various implementations exist that have subtle but important variations in their syntax and semantics. While current technology provides good support for syntax variability in form of syntax extensions, there is only ...
Comments