A Note on Logic Programming Fixed-Point Semantics

Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics At 8th Meeting on Logic Programming, GULP '93..


[img] PDF endoGulpFin.pdf - Other
Download (236kB)


In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is characterized by properties of universality. In particular, we show that, given a program $P$, the category of models of $P$ is reflective in the category of interpretations for $P$. In addition, we show that the immediate consequence operator gives rise to an endofunctor ${T}_P$ on the category of Herbrand interpretations for $P$ such that category of algebras for ${T}_P$ is the category of Herbrand models of $P$. As consequences, we have that the least Herbrand model of $P$ is the least fixed-point of ${T}_P$ and is the reflection of the empty Herbrand interpretation.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 8th Meeting on Logic Programming, GULP '93., 1993-01-01
Keywords: logic programming, semantics of logic programming
Organisations: Web & Internet Science
ePrint ID: 261945
Date :
Date Event
Date Deposited: 12 Feb 2006
Last Modified: 17 Apr 2017 21:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261945

Actions (login required)

View Item View Item