SetLog, a tool for experimenting with new semantics

Authors:
Marco Pellegrini;Raimondo Sepe
Affiliations:
Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, NYU-CIMS 251 Mercer St. 10012 NY, NY;Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, NYU-CIMS 251 Mercer St. 10012 NY, NY
Venue:
ACM SIGPLAN Notices
Year:
1991

Citing 10
Cited 0

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Introduction to logic programming

Introduction to logic programming
Programming with sets; an introduction to SETL

Programming with sets; an introduction to SETL
Logic programming with sets

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Prolog for programmers

Prolog for programmers
Logic for Problem Solving

Logic for Problem Solving
Data Structures and Algorithms

Data Structures and Algorithms
Document structure and modularity in mentor

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Quantified Score

Hi-index	0.00

Visualization

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.