Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi  Home/Search
Context Related
| psu.edu/~catuscia/papers/Built...amp.ps Cached: PS.gz PS 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.
PDF Image Update HelpPS.gz PS From: psu.edu/~catuscia/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We provide here a framework for studying Prolog programs with various built-in's that include arithmetic operations, and such metalogical relations like var and ground. To this end we propose a new, declarative semantics and prove completeness of the Prolog computation mechanism w.r.t. this semantics. We also show that this semantics is fully abstract in an appropriate sense. Finally, we provide a method for proving termination of Prolog programs with built-in's which uses this semantics.... (Update)
Context of citations to this paper: More
...semantics for logic programming languages have been given. Non standard declarative semantics have been introduced in [FLMP89] and [AMP92], the first to fill the gap between declarative and operational semantics of logic programs, the second to deal also with some metalogical,...
...with the aim of making the existing analyses useful in real PROLOG compilers. Lower approximations and the information our semantics has about termination make it feasible the extension to cut, negation as failure and setof. First order built in s might be modeled as suggested in...
Cited by: More
From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
A Declarative Approach for First-Order Built-in's of Prolog - Apt, Marchiori, Palamidessi (1992) (Correct)
Analysis of pure PROLOG programs - Levi, Micciancio (1995) (Correct)
Similar documents (at the sentence level):
17.8%: A Theory of First-Order Built-in's of Prolog - Apt, Marchiori, Palamidessi (1992) (Correct)
Active bibliography (related documents): More All
0.1: A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (Correct)
0.1: Adapting Big-Step Semantics to Small-Step Style: Coinductive .. - Ibraheem, Schmidt (1998) (Correct)
0.1: Towards Full Prolog - Apt (Correct)
Similar documents based on text: More All
0.4: Proving Concurrent Constraint Programs Correct - de Boer, Gabbrielli.. (1994) (Correct)
0.3: Reasoning about Prolog Programs: from Modes through Types to.. - Apt, Marchiori (1994) (Correct)
0.2: Embedding as a tool for Language Comparison - de Boer, Palamidessi (1994) (Correct)
Related documents from co-citation: More All
4: Guarded Horn Clauses - Ueda - 1986
4: Foundations of Logic Programming (context) - Lloyd - 1987
3: Concurrent Constraint Programming (context) - Saraswat - 1990
BibTeX entry: (Update)
K.R. Apt, C. Palamidessi, and E. Marchiori. A theory of first-order built-in's of Prolog. In H. Kirchner and G. Levi, editors, Proceeding of the Third International Conference on Algebraic and Logic Programming (ALP 92), Lecture Notes in Computer Science 632, pages 69--83, Berlin, 1992. Springer-Verlag. http://citeseer.ist.psu.edu/apt92theory.html More
@incollection{ apt92theory,
author = "Krzysztof R. Apt and Elena Marchiori and Catuscia Palamidessi",
title = "A Theory of First-Order Built-in's of Prolog.",
booktitle = "95",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 0169-118X",
pages = "15",
year = "1992",
url = "citeseer.ist.psu.edu/apt92theory.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
223 Linear Objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1990
192 Logic programming (context) - Apt - 1990
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
112 The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1986
78 Predicate logic as a computational formalism (context) - Clark - 1979
68 A model-theoretic reconstruction of the operational semantic.. (context) - Falaschi, Levi et al. - 1991
48 A logical operational semantics of full Prolog (context) - Borger - 1989
40 Algebraic properties of idempotent substitutions - Palamidessi - 1990
26 Declarative modeling of the operational behaviour of logic l.. (context) - Falaschi, Levi et al. - 1989
9 An operational formal definition of Prolog (context) - Ferrand, Deransart - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.psu.edu/~catuscia/publications.html): More
Weak Relative Pseudo-Complements of Closure Operators - Giacobazzi, Palamidessi.. (1996) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (2002) (Correct)
Temporal Concurrent Constraint Programming.. - Nielsen.. (2002) (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