Michael Hanus  Home/Search
Context
Related
| mpisb.mpg.de/pub/...nusMPI94246.ps.Z 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: mpisb.mpg.de/activities/c...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Extra variables in a clause are variables which occur in the body but not in the head. It has been argued that extra variables are necessary and contribute to the expressive power of logic languages. In the first part of this paper, we show that this is not true in general. For this purpose, we provide a simple syntactic transformation of each logic program into a logic program without extra variables. Moreover, we show a strong correspondence between the original and the transformed... (Update)
Active bibliography (related documents): More All
0.7: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
0.5: Level-Confluence of Conditional Rewrite Systems with.. - Suzuki, Middeldorp, Ida (1995) (Correct)
0.2: Compilative Constructive Negation in Constraint Logic.. - Bruscoli, Levi, Levi, Meo (1994) (Correct)
Similar documents based on text: More All
0.1: A Parallel Narrowing Strategy - Antoy, Echahed, Hanus (1996) (Correct)
0.1: Parallel Evaluation Strategies for Functional Logic Languages - Antoy, Echahed, Hanus (1997) (Correct)
0.1: [Hanus 90] M.Hanus: - Compiling Logic Programs (1991) (Correct)
BibTeX entry: (Update)
@techreport{ hanus94extra,
author = "M. Hanus",
title = "On Extra Variables in (Equational) Logic Programming",
number = "MPI-I-94-246",
address = "Saarbr{\"u}cken, Germany",
pages = "33",
year = "1994",
url = "citeseer.ist.psu.edu/hanus94extra.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
788 Rewrite Systems - Dershowitz, Jouannaud - 1990
474 Term Rewriting Systems - Klop - 1992
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
170 ACM Transactions on Programming Languages and Systems (context) - Martelli, Montanari et al. - 1982
126 Canonical Forms and Unification (context) - Hullot - 1980
121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
102 Term Graph Rewriting (context) - Barendregt, van Eekelen et al. - 1987
89 Kernel LEAF: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
81 SLOG: A Logic Programming Language Interpreter Based on Clau.. (context) - Fribourg - 1985
71 Conditional Rewrite Rules: Confluence and Termination (context) - Bergstra, Klop - 1986
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
47 A Rationale for Conditional Equational Programming (context) - Dershowitz, Okada - 1990
45 Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
41 Models and Equality for Logical Programming (context) - Goguen, Meseguer - 1987
41 Logic and Functional Programming Language (context) - Bert, Echahed et al. - 1986
38 On Completeness of Narrowing Strategies (context) - Echahed - 1988
35 Simplifying conditional term rewriting systems: Unification (context) - Kaplan - 1987
32 Confluence of Conditional Rewrite Systems (context) - Dershowitz, Okada et al. - 1987
30 A Transformational Approach to Negation in Logic Programming (context) - Barbuti, Mancarella et al. - 1990
22 unification algorithms based on conditional narrowing (context) - Giovannetti, Moiso et al. - 1986
20 Completion-Time Optimization of Rewrite-Time Goal Solving (context) - Bertling, Ganzinger - 1989
19 Improving Control of Logic Programs by Using Functional Logi.. (context) - Hanus - 1992
16 Combining Lazy Narrowing and Simplification - Hanus - 1994
14 Unification in Conditional-Equational Theories (context) - Hussmann - 1985
13 An Optimal Narrowing Strategy for General Canonical Systems (context) - Bockmayr, Krischer et al. - 1992
11 Church-Rosser Property and Unique Normal Form Property of No.. (context) - Toyama, Oyamaguchi - 1994
7 Completeness of Some Transformation Strategies for Avoiding .. (context) - Proietti, Pettorossi - 1994
4 Intensional Negation of Logic Programs: Examples and Impleme.. (context) - Barbuti, Mancarella et al. - 1987
4 Generic Induction Proofs (context) - Padawitz - 1992
Documents on the same site (http://www.mpi-sb.mpg.de/activities/ccl/publ.html): More
Associative-Commutative Superposition - Bachmair, Ganzinger (1993) (Correct)
The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
Finite Domain and Cutting Plane Techniques in CLP(PB) - Barth, Bockmayr (1994) (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