Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone  Home/Search
Context Related
Links: ACM DBLP | docenti.ing.unipi.it/~d9...SCPprolog.ps 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: docenti.ing.unipi.it/~d92...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-first left-to-right evaluation strategy of Prolog interpreters. We propose a semantics for Prolog programs based on a four-valued logic. The semantics is based on a new concept of completion analogous to Clark's and it enjoys the nice properties of the declarative semantics of logic programming: existence of the least Herbrand model, equivalence of the... (Update)
Context of citations to this paper: More
.... behaviour such as being nonterminating ( 11, 20] being ill typed ( 21] being floundering ( 4] or failing when backtracking ([6]) The motivation for the definitions of the three valued logics we will be using in this paper comes from a couple of sources. Primarily,...
Cited by: More
Characterizations of Classes of Programs by Three-Valued.. - Hitzler, Seda (1999) (Correct)
Active bibliography (related documents): More All
0.5: A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (Correct)
0.5: Some Applications Of Non Clausal Deduction - Ramesh (1995) (Correct)
0.4: The Witness Properties and the Semantics of the Prolog Cut - Andrews (1999) (Correct)
Similar documents based on text: More All
0.6: Algebraic Computational Models of OR-Parallel Execution of .. - Barbuti, De Francesco, al. (Correct)
0.5: Loreto: A Tool For Reducing State Explosion In.. - Barbuti, De.. (Correct)
0.4: Selective mu-calculus and Formula-Based.. - Barbuti, De.. (1999) (Correct)
BibTeX entry: (Update)
Barbuti, R., De Francesco, N, Mancarella, P, Santone, A.: Towards a Logical Semantics for Pure Prolog. Science of Computer Programming 32 (1--3) (1998) 145--176 http://citeseer.ist.psu.edu/barbuti98towards.html More
@article{ barbuti98towards,
author = "Roberto Barbuti and Nicoletta {De Francesco} and Paolo Mancarella and Antonella Santone",
title = "Towards a logical semantics for pure {Prolog}",
journal = "Science of Computer Programming",
volume = "32",
number = "1--3",
pages = "145--176",
year = "1998",
url = "citeseer.ist.psu.edu/barbuti98towards.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
759 Negation as Failure (context) - Clark - 1978 ACM DBLP
340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
174 A Kripke-Kleene Semantics for Logic Programs (context) - Fitting - 1985 DBLP
146 Introduction to Logic Programming (context) - Apt - 1990
120 Bilattices and the Semantics of Logic Programming - Fitting - 1991 ACM DBLP
53 A Mathematical Definition of Full Prolog (context) - Borger, Rosenzweig - 1994
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1987 ACM DBLP
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984 DBLP
24 Modelling Prolog Control - Barbuti, Codish et al. - 1993
24 Operational and Denotational Semantics of Prolog (context) - Arbab, Berry - 1987 ACM DBLP
13 A Logical Semantics for Depth-first Prolog with Ground Negat.. - Andrews ACM DBLP
13 Continuation Semantics for Prolog with Cut - de Bruin, de Vink - 1989 ACM DBLP
10 Valuation Systems and Consequence Relations (context) - Rayan, Sadler - 1992 ACM
5 A New Fixpoint Semantics for Prolog (context) - Bossi, Bugliesi et al. - 1993
4 The Logical Structure of Sequential Prolog (context) - Andrews ACM DBLP
3 The Lattice Theory of Post Algebras (context) - Epstein
3 Information and Computation (context) - Barbuti, Codish et al. - 1995
2 Minimization of Multivalued Functions (context) - Smith - 1984
1 24 A Proofs The proofs of the main results are performed by .. (context) - on, Logic et al. - 1981
1 A Multiple Valued Logical Semantics for Prolog (context) - Barbuti, Mancarella - 1996
1 Logic Programs and Multi-valued Logic (context) - Mycroft - 1984
1 Journal of Logic Programming (context) - Negation, Programming - 1987
Documents on the same site (http://docenti.ing.unipi.it/~d9207/paper.htm): More
Compositionality for Improving Model Checking - Santone (2000) (Correct)
Unfold/Fold Transformations of Concurrent Processes - De Francesco, Santone (Correct)
A Program Transformations Methodology for CCS - De Francesco, Santone (1995) (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