Hostname: page-component-77c89778f8-5wvtr Total loading time: 0 Render date: 2024-07-18T17:57:48.954Z Has data issue: false hasContentIssue false

A general framework for lazy functional logic programming with algebraic polymorphic types

Published online by Cambridge University Press:  16 May 2001

PURI ARENAS-SÁNCHEZ
Affiliation:
Dpto. de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Avenida Complutense s/n, 28040 Madrid, Spain; (e-mail: puri@sip.ucm.es, mario@sip.ucm.es)
MARIO RODRÍGUEZ-ARTALEJO
Affiliation:
Dpto. de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Avenida Complutense s/n, 28040 Madrid, Spain; (e-mail: puri@sip.ucm.es, mario@sip.ucm.es)

Abstract

We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set [Cscr ] of equational axioms. On top of a given [Cscr ], we specify a program as a set [Rscr ] of [Cscr ]-based conditional rewriting rules for defined functions. We argue that equational logic does not supply the proper semantics for such programs. Therefore, we present an alternative logic which includes [Cscr ]-based rewriting calculi and a notion of model. We get soundness and completeness for [Cscr ]-based rewriting w.r.t. models, existence of free models for all programs, and type preservation results. As operational semantics, we develop a sound and complete procedure for goal solving, which is based on the combination of lazy narrowing with unification modulo [Cscr ]. Our framework is quite expressive for many purposes, such as solving action and change problems, or realizing the GAMMA computation model.

Type
Regular paper
Copyright
© 2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

Our research has been partially supported by the Spanish National Project TIC98-0445-C03-02 ‘TREND’ and the Esprit BRA Working Group EP-22457 ‘CCLII’. This paper is a revised and substantially extended presentation of the results from Arenas-Sánchez and Rodríguez-Artalejo (1997a, 1997b).