SOME COMMENTS ON A DENOTATIONAL SEMANTICS FOR PROLOG

Authors
ARBAB B BERRY DM
Citation
B. Arbab et Dm. Berry, SOME COMMENTS ON A DENOTATIONAL SEMANTICS FOR PROLOG, ACM transactions on programming languages and systems, 16(3), 1994, pp. 605-606
Citations number
NO
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
ACM transactions on programming languages and systems → ACNP
ISSN journal
01640925
Volume
16
Issue
3
Year of publication
1994
Pages
605 - 606
Database
ISI
SICI code
0164-0925(1994)16:3<605:SCOADS>2.0.ZU;2-X
Abstract
Two independently derived denotational semantics for Prolog are contra sted, 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.