SetLog, a tool for experimenting with new semantics-Reference-Cited by-同舟云学术

SetLog, a tool for experimenting with new semantics

Published:1991-01-02 Issue:2 Volume:26 Page:67-74
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Pellegrini Marco¹,Sepe Raimondo¹

Affiliation:

1. Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, NYU-CIMS 251 Mercer St. 10012 NY, NY

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/122179.122187

Reference14 articles.

1. {AMOP 89} D. Aliffi D. Montanari E. Omodeo and M. Pellegrini Meta-interpreting SETL ENIDATA-Italy internal rep. {AMOP 89} D. Aliffi D. Montanari E. Omodeo and M. Pellegrini Meta-interpreting SETL ENIDATA-Italy internal rep.

2. Sets and negation in a logic data base language (LDL1)

3. {ClM 81} W.F. Clocksin C.S. Mellish Programming in Prolog Springer Verlag 1981. {ClM 81} W.F. Clocksin C.S. Mellish Programming in Prolog Springer Verlag 1981.

4. Document structure and modularity in mentor

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Onset and Today’s Perspectives of Multilevel Syllogistic;Lecture Notes in Computer Science;2024