Germán Vidal (Ed.)

Functional and (Constraint) Logic Programming 12th International Workshop, WFLP 2003 Valencia, Spain, June 12-13, 2003 Proceedings

Volume Editor

Germán Vidal Departamento de Sistemas Informáticos y Computación (DSIC) Universidad Politécnica de Valencia, Spain Camino de Vera, s/n E-46022 Valencia (Spain) Email: gvidal@dsic.upv.es

Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03 Valencia, Spain, June 12-13, 2003

ISBN: Depósito Legal: Impreso en España. Technical Report DSIC-II/13/03, http://www.dsic.upv.es Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2003.

Preface

This technical report contains the proceedings of the International Workshopon Functional and (Constraint) Logic Programming (WFLP 2003), held in Va-lencia (Spain) during June 12-13, 2003, at the Federated Conference on Rewrit-ing, Deduction and Programming (RDP 2003). WFLP 2003 is the twelfth inthe series of international meetings aimed at bringing together researchers in-terested in functional programming, (constraint) logic programming, as well astheir integration. It promotes the cross-fertilizing exchange of ideas and experi-ences among researches and students from the different communities interestedin the foundations, applications, and combinations of high-level, declarative pro-gramming languages and related areas. Previous WFLP editions have been heldin Grado (Italy), Kiel (Germany), Benicassim (Spain), Grenoble (France), BadHonef (Germany), Schwarzenberg (Germany), Marburg (Germany), Rattenberg(Germany), and Karlsruhe (Germany).

The Program Committee of WFLP 2003 collected for each paper at leastthree reviews and held an electronic discussion on all papers during April 2003.Finally, the Program Committee selected 21 regular papers and one system de-scription. In addition to the selected papers, the scientific program includedinvited lectures by Michael Rusinowitch (LORIA-INRIA-Lorraine, France) andJan Ma luszynski (Linkoping University, Sweden). I would like to thank them fortheir willingness in accepting our invitation.

I would also like to thank all the members of the Program Committee andall the referees for their careful work in the review and selection process. Manysincere thanks to all authors who submitted papers and to all conference partic-ipants. I gratefully acknowledge all the institutions and corporations who havesupported this conference. Finally, I express my gratitude to all members of thelocal Organizing Committee whose work has made the workshop possible.

Valencia German VidalJune 2003 Program Chair

WFLP 2003

VI

Organization

Program Committee

Marıa Alpuente Technical University of Valencia, SpainSergio Antoy Portland State University, USAAnnalisa Bossi Universita Ca’ Foscari di Venezia, ItalyOlaf Chitil University of York, UKRachid Echahed Institut IMAG, FranceSandro Etalle University of Twente, The NetherlandsMoreno Falaschi Universita di Udine, ItalyMichael Hanus CAU Kiel, GermanyYukiyoshi Kameyama University of Tsukuba, JapanHerbert Kuchen University of Muenster, GermanyMichael Leuschel University of Southampton, UKJuan Jose Moreno-Navarro Universidad Politecnica de Madrid, SpainErnesto Pimentel University of Malaga, SpainMario Rodrıguez-Artalejo Universidad Complutense de Madrid, SpainGerman Vidal Technical University of Valencia, Spain

Organizing Committee

Elvira Albert Santiago Escobar Cesar FerriJose Hernandez Carlos Herrero Pascual JulianMarisa Llorens Gines Moreno Javier OliverJosep Silva German Vidal Alicia Villanueva

Additional Referees

Elvira AlbertZena AriolaDemis BallisBernd BraßelRicardo CorinFrancisco DuranSantiago EscobarJose GallardoRaffaella GentiliniAngel HerranzTeresa Hortala-GonzalezZhenjiang Hu

Frank HuchPascual JulianChristoph LembeckPablo LopezSalvador LucasMassimo MarchioriJulio MarinoYasuhiko MinamideAngelo MontanariGines MorenoRoger MullerSusana Munoz

Salvatore OrlandoCarla PiazzaFemke van RaamsdonkMarıa Jose RamırezGuido SciaviccoClara SeguraJan-Georg SmausAndrew TolmachAlberto VerdejoAlicia Villanueva

Sponsoring Institutions

Departamento de Sistemas Informaticos y Computacion (DSIC)

Universidad Politecnica de Valencia (UPV)

Generalitat Valenciana

Ministerio de Ciencia y Tecnologıa

European Association for Theoretical Computer Science (EATCS)

European Association for Programming Languages and Systems (EAPLS)

CologNET: A Network of Excellence in Computational Logic

APPSEM Working Group

VIII

Table of Contents

Invited Talks

Automated Analysis of Security Protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1Michael Rusinowitch (LORIA, INRIA - Lorraine)

On Integrating Rules into the Semantic Web (Abstract) . . . . . . . . . . . . . . . 4Jan Ma luszynski (Linkoping University)

Debugging and Verification I

Abstract Correction of Functional Programs . . . . . . . . . . . . . . . . . . . . . . . . . . 7M. Alpuente (U.P. Valencia), D. Ballis (U. Udine), S. Escobar (U.P.Valencia), M. Falaschi (U. Udine), and S. Lucas (U.P. Valencia)

Runtime Verification of Concurrent Haskell (work in progress) . . . . . . . . . . 21V. Stolz (RWTH Aachen) and F. Huch (CAU Kiel)

Functional Logic Programming I

A Monadic Semantics for Core Curry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33A. Tolmach and S. Antoy (Portland State University)

Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing . 47S. Escobar (Universidad Politecnica de Valencia)

Functional Logic Programming with Failure and Built-in Equality . . . . . . 61F. J. Lopez-Fraguas and J. Sanchez-Hernandez (Universidad

Complutense de Madrid)

Language Design

Multiple Evaluation Strategies for the Multiparadigm ProgrammingLanguage Brooks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75P. Hofstedt and A. Metzner (Technische Universitat Berlin)

Towards Translating Embedded Curry to C (Extended Abstract) . . . . . . . 89M. Hanus, K. Hoppner, and F. Huch (CAU Kiel)

Towards a Mobile Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103A. Rauber Du Bois, P. Trinder (Heriot-Watt University), and H.-W.Loidl (Ludwig-Maximilians-Universitat Munchen)

Implementation and Transformation

Refined Definitional Trees and Prolog Implementations of Narrowing . . . . 117P. Julian (Universidad de Castilla–La Mancha)

A Narrowing-based Instantiation Rule for Rewriting-based Fold/UnfoldTransformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130G. Moreno (Universidad de Castilla–La Mancha)

A Memoization Technique for Functional Logic Languages . . . . . . . . . . . . . 144S. Espana and V. Estruch (Technical University of Valencia)

Constraints

Integrating Finite Domain Constraints and CLP with Sets . . . . . . . . . . . . . 158A. Dal Palu, A. Dovier (Universita di Udine), E. Pontelli (New MexicoState University), and G. Rossi (Universita di Parma)

Constructive Intensional Negation: a Practical Implementation(extended abstract) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172S. Munoz, J. Marino, and J.J. Moreno-Navarro (UniversidadPolitecnica de Madrid)

Functional Logic Programming II

A Demand Narrowing Calculus with Overlapping Definitional Trees . . . . . 184R. del Vado Vırseda (Universidad Complutense de Madrid)

Narrowing-based Simulation of Term Rewriting Systems with ExtraVariables and its Termination Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198N. Nishida, M. Sakai, and T. Sakabe (Nagoya University)

A Safe Relational Calculus for Functional Logic Deductive Databases . . . . 212J.M. Almendros-Jimenez and A. Becerra-Teron (Universidad deAlmerıa)

Debugging and Verification II

Automatic Visualization of Recursion Trees: a Case Study on GenericProgramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227A. Cunha (Universidade do Minho)

Cost-Sensitive Debugging of Declarative Programs . . . . . . . . . . . . . . . . . . . . 241D. Ballis, M. Falaschi (University of Udine), C. Ferri, J.Hernandez-Orallo, M.J. Ramırez-Quintana (U. Politecnica Valencia)

Model Checking Erlang Programs – LTL-Propositions and AbstractInterpretation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255F. Huch (CAU Kiel)

X

Applications

An Open System to Support Web-based Learning (Extended Abstract) . 269M. Hanus and F. Huch (CAU Kiel)

Graphical Representations and Infinite Virtual Worlds in a Logic andFunctional Programming Course . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283J.E. Labra Gayo (University of Oviedo)

Handling quantifiers in Relational Data Mining . . . . . . . . . . . . . . . . . . . . . . . 295D. Lorenzo (Univ. Coruna)

A Web Oriented System for Equational Solving . . . . . . . . . . . . . . . . . . . . . . . 309N. Kobayashi (University of Tsukuba), M. Marin (Austrian Academyof Sciences), and T. Ida (University of Tsukuba)

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313

XI