Modelling Prolog control

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Scopus citations

Abstract

The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depth-first search strategy in order to provide a practical approximation of Horn clause logic. While pure logic programming has clean fix-point, model-theoretic and operational semantics the situation for Prolog is different. Difficulties in capturing the declarative meaning of Prolog programs have led to various semantic definitions which attempt to encode the search strategy in different mathematical frameworks. However semantic based analyses of Prolog are typically achieved by abstracting the more simple but less precise declarative semantics of pure logic Programs. We propose instead to model Prolog control in a simple constraint logic language which is presented together with its declarative and operational semantics. This enables us to maintain the usual approach to declarative semantics of logic programs while capturing control aspects such as search strategy and selection rule.

Original languageEnglish
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherPubl by ACM
Pages95-104
Number of pages10
ISBN (Print)0897914538, 9780897914536
DOIs
StatePublished - 1 Jan 1992
Externally publishedYes
Event19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Albuquerque, NM, USA
Duration: 19 Jan 199222 Jan 1992

Publication series

NameConference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)0730-8566

Conference

Conference19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
CityAlbuquerque, NM, USA
Period19/01/9222/01/92

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Modelling Prolog control'. Together they form a unique fingerprint.

Cite this