English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 DetailsSummary
  Perfect Model Semantics for Logic Programs with Equality

Bachmair, L., & Ganzinger, H. (1991). Perfect Model Semantics for Logic Programs with Equality. In Logic Programming (pp. 645-659). Cambridge, Mass.: MIT Press.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-CED2-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-CED3-5
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Bachmair, Leo1, Author           
Ganzinger, Harald1, Author           
Affiliations:
1External Organizations, ou_persistent22              

Content

show
hide
Free keywords: -
 Abstract: We develop a perfect model semantics for logic programs with negation and equality. Our approach is based on ordered rewriting, a fundamental technique used in equational programming. A logic program in our sense is a set of first-order clauses with equality together with a well-founded ordering on terms and atoms. We show that any consistent logic program has a unique perfect model, provided the ordering is total on ground expressions. The key to this result is a notion of saturation of a set of formulas (under certain inference rules) together with a related concept of redundancy. Our techniques can be applied to Prolog-programs (without equality), in which case a class of programs can be characterized via the notion of stratification up to redundancy for which unique perfect models exist. This extends previous results on (local and weak) stratification.

Details

show
hide
Language(s): eng - English
 Dates: 1991
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: BachmairGanzinger-91-iclp
 Degree: -

Event

show
hide
Title: Eigth International Conference on Logic Programming
Place of Event: Paris
Start-/End Date: 1991-07-24 - 1991-07-28

Legal Case

show

Project information

show

Source 1

show
hide
Title: Logic Programming
  Subtitle : proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Cambridge, Mass. : MIT Press
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 645 - 659 Identifier: ISBN: 0-262-56058-5