SetLog, a tool for experimenting with new semantics

  title={SetLog, a tool for experimenting with new semantics},
  author={Marco Pellegrini and Raimondo Sepe},
  journal={ACM SIGPLAN Notices},
  • Marco Pellegrini, Raimondo Sepe
  • Published 1991
  • Computer Science
  • ACM SIGPLAN Notices
  • 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. 

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper