James H. Andrews  Home/Search
Context
Related
| csd.uwo.ca/faculty/andrew...pract.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csd.uwo.ca/faculty/andrew...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The semantics of the Prolog "cut" construct is explored in the context of some desirable properties of logic programming systems, referred to as the witness properties. The witness properties concern the operational consistency of responses to queries. A generalization of Prolog with negation as failure and cut is described, and shown not to have the witness properties. A restriction of the system is then described, which preserves the choice and first-solution behaviour of cut but allows the ... (Update)
Active bibliography (related documents): More All
2.5: A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (Correct)
0.5: Executing Formal Specifications by Translation to Higher Order.. - Andrews (1997) (Correct)
0.4: Towards a Logical Semantics for Pure Prolog - Barbuti, De Francesco.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ andrews-witness,
author = "James H. Andrews",
title = "The Witness Properties and the Semantics of the Prolog Cut",
url = "citeseer.ist.psu.edu/andrews99witness.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
759 Negation as failure (context) - Clark - 1978
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
97 The Craft of Prolog (context) - O'Keefe - 1990
67 Reasoning about Prolog programs: From modes through types to.. - Apt, Marchiori - 1995
49 Denotational and operational semantics of Prolog - Debray, Mishra - 1988
48 Stepwise development of operational and denotational semanti.. (context) - Jones, Mycroft - 1984
47 Automatic termination analysis of logic programs (context) - Lindenstrauss, Sagiv - 1997
41 Proving termination of general Prolog programs (context) - Apt, Pedreschi - 1993
41 an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1996
36 The automatic generation of mode declarations for prolog pro.. (context) - Mellish - 1981
34 Strong termination of logic programs - Bezem - 1993
24 Operational and denotational semantics of Prolog (context) - Arbab, Berry - 1987
20 Abstract interpretation (context) - Cousot - 1996
19 Proving termination properties of Prolog programs: A semanti.. (context) - Baudinet - 1992
17 volume 446 of Lecture Notes in Artificial Intelligence (context) - Plumer, for - 1990
16 Prolog user's manual (context) - Pereira, Warren et al.
16 Continuation semantics for Prolog with cut - de Bruin, de Vink - 1989
15 Termilog: A system for checking termination of queries to lo.. - Lindenstrauss, Sagiv et al. - 1997
13 ACM Transactions on Programming Languages and Systems (context) - Nicholson, Foo et al. - 1989
13 A logical semantics for depth-first Prolog with ground negat.. - Andrews - 1993
13 A logical semantics for depth-first Prolog with ground negat.. - Andrews - 1997
12 A Theory of Objects (context) - Abadi, Cardelli - 1996
10 a logic program theorem prover (context) - Stark, foundations - 1998
10 Number 238 in Lecture Notes in Computer Science (context) - Naish, Control - 1986
9 An operational formal definition of Prolog (context) - Deransart, Ferrand - 1987
9 Logic Programming: Operational Semantics and Proof Theory (context) - Andrews - 1991
8 The declarative semantics of the Prolog selection rule - Stark - 1994
6 Simple operational and denotational semantics for Prolog wit.. (context) - Billaud - 1990
6 A paralogical semantics for the Prolog cut (context) - Andrews - 1995
4 The logical structure of sequential Prolog (context) - Andrews - 1990
4 A declarative semantics for depth-first logic programs (context) - Elbl - 1999
3 A logical operational semantics of full Prolog (context) - Borger - 1990
3 Two solutions for the negation problem (context) - Dahl - 1980
2 Unfolding and fixpoint semantics of concurrent constraint lo.. (context) - Gabbrieli, Levi - 1992
2 A near-Horn Prolog for compliation (context) - Loveland, Reed - 1991
Documents on the same site (http://www.csd.uwo.ca/faculty/andrews/papers/index.html): More
Theory and Practice of Log File Analysis - Andrews (1998) (Correct)
Foundational Issues in Implementing Constraint Logic Programming.. - Andrews (1995) (Correct)
Practical Experience Applying Formal Methods to Air Traffic.. - Richard Yates (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC