Skip to main content

Some Comments on "A Denotational Semantics for Prolog"

Bijan Arbab, Daniel M. Berry

Publisher page dblp BibTeX

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.

DOI 10.1145/177492.177605

Related papers

A Denotational Semantics for Prolog TOPLAS 1989
A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo TOPLAS 1993
Some Comments on ''A Solution to a Problem with Morel and Renvoise's 'Global Optimization by Suppression of Partial Redundancies' TOPLAS 1989
Transformations of denotational semantics in semantics directed compiler generation PLDI 1986
A Multiple-Valued Logical Semantics for Prolog ESOP 1996
Denotational Semantics of a Goal-Directed Language TOPLAS 1992
HALO: haskell to logic through denotational semantics POPL 2013
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics APLAS 2007