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. © 1994, ACM. All rights reserved.
Author supplied keywords
Cite
CITATION STYLE
APA
Arbab, B., & Berry, D. M. (1994). Some Comments on “A Denotational Semantics for Prolog.” ACM Transactions on Programming Languages and Systems (TOPLAS), 16(3), 605–606. https://doi.org/10.1145/177492.177605
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free