Some comments on “a denotational semantics for Prolog”

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Some comments on “a denotational semantics for Prolog”

Full text

Pdf (85 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 16 , Issue 3 (May 1994) table of contents

Pages: 605 - 606

Year of Publication: 1994

ISSN:0164-0925

Authors

Bijan Arbab	IBM, Santa Monica, CA
Daniel M. Berry	Technion, Haifa, Israel

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 28, Citation Count: 0

Additional Information:

abstract index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/177492.177605 What is a DOI?

ABSTRACT

Two independently derived denotational semantics for Prolog are contrasted, Arbab and Berry's for the full language and Nicholson and Foo's for a databaseless language. Using the ideas suggested by the former, the latter can be easily extended to include the database operations.

INDEX TERMS

Primary Classification:
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.2 Semantics of Programming Languages
Subjects: Denotational semantics