CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A Definitional Approach to Functional Logic Programming

Olof Torgersson (Institutionen för datavetenskap)
Extensions of Logic Programming 5th International Workshop, ELP'96 Vol. 1050 (1996), p. 273-287.
[Konferensbidrag, refereegranskat]

We describe a definitional approach to the combination of functional and logic programming based on the theory of Partial Inductive Definitions. The described method produces programs directly executable in the definitional programming language GCLA. We show both a basic calculus for functional logic program definitions and discuss a refined version where the rules definitional resolution, definitional reflection, and definitional axiom are altered to be better suited for functional evaluation and equation solving.

Nyckelord: Functional Logic Programming, Definitional Programming, Logic Programming



Denna post skapades 2006-08-25.
CPL Pubid: 9263

 

Institutioner (Chalmers)

Institutionen för datavetenskap (1993-2001)

Ämnesområden

Information Technology

Chalmers infrastruktur