Skip to main content

A Denotational Semantics for Prolog

Tim Nicholson, Norman Y. Foo

DOI 10.1145/69558.69564 dblp BibTeX

Abstract

A denotational semantics is presented for the language Pro.og. Metapredicates are not considered. Conventional control sequencing is assumed for Prolog's execution. The semantics is nonstandard, and goal continuations are used to explicate the sequencing.

Related papers

Some Comments on "A Denotational Semantics for Prolog" TOPLAS 1994
A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo TOPLAS 1993
A Multiple-Valued Logical Semantics for Prolog ESOP 1996
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics APLAS 2007
Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
The Concurrent Language, Shared Prolog TOPLAS 1991
Equational Logic Programming: An Extension to Equational Programming POPL 1986
Denotational Semantics of Nets with Nondeterminism ESOP 1986