A New Perspective on Integrating Functional and Logic Languages

No abstract is available for this paper.

• Publication year

  1992

• Venue

  Fifth Generation Computer Systems

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Residuation and Guarded Rules for Constraint Logic Programming

  1993cited by this paper
• Logic Programming, Functional Programming, and Inductive Definitions

  1991cited by this paper
• A Survey of GCLA: A Definitional Approach to Logic Programming

  1991cited by this paper
• A constraint sequent calculus

  1990cited by this paper
• Semantic Domains and Denotational Semantics

  1989cited by this paper
• Logic Programming over Polymorphically Order-Sorted Types

  1989cited by this paper
• Conditional Equational Programming and the Theory of Conditional Term Rewriting

  1988cited by this paper
• Outer Narrowing for Equational Theories Based on Constructors

  1988cited by this paper
• Opening the Prolog III universe

  1987cited by this paper
• Functional logic languages, Part I

  1986cited by this paper
• The Unification of Functional and Logic Languages

  1986cited by this paper
• Equational programming

  1986cited by this paper
• Formal structures for computation and deduction

  1986cited by this paper
• Narrowing as the Operational Semantics of Functional Languages

  1985cited by this paper
• SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting

  1985cited by this paper
• A proposal for standard ML

  1984cited by this paper
• Equality, Types, Modules, and (Why not ?) Generics for Logic Programming

  1984cited by this paper
• Canonical Forms and Unification

  1980cited by this paper

• Multi-Paradigm Logic ProgrammingFunctional Logic Programmingwith Real Numbers

  2007cites this paper
• 4. Further Applications

  2007cites this paper
• Untyped Constrained Lambda Calculus

  2007cites this paper
• Handbook of Constraint Programming

  2006cites this paper
• Constraint Logic Programming

  2006cites this paper
• Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming

  2002cites this paper
• Cooperation and coordination of constraint solvers

  2001cites this paper
• Functional Reading of Logic Programs

  2000cites this paper
• Debugging Constraint Programs by Store Inspection

  2000cites this paper
• Embedding Prologin HaskellMichael

  1999cites this paper
• Adding Constraints to Logic-based Formalisms

  1999cites this paper
• A visualization tool for constraint program debugging

  1999cites this paper
• Adding Constraints to Logic-based Formalisms

  1999cites this paper
• Declarative Programming with Real Constraints

  1997cites this paper
• The integration of functions into logic programming: a survey

  1994cites this paper
• Expressivity of Functional-logic Languages and their Implementation

  1994cites this paper
• Constraint Logic Programming: A Survey

  1994cites this paper
• A Tiny Constrain Functional Logic Language and Its Continuation Semantics

  1994influential citation
• The Integration of Functions into Logic Programming: From Theory to Practice

  1994cites this paper
• Conditional narrowing modulo a set of equations

  1993cites this paper
• The 3 R's of optimizing constraint logic programs: refinement, removal and reordering

  1993cites this paper
• Parallel Programming Using Skeleton Functions

  1993cites this paper
• Contraint Logic Programming - An Informal Introduction

  1992cites this paper