PRELIMINARY PROGRAM, CALL FOR ATTENDANCE AND REGISTRATION FORMS
___________________________________________________________________
                        GULP-PRODE'95
        1995 Joint Conference on Declarative Programming

              Marina di Vietri (Salerno-Italy)
                    September 11-14, 1995

Sponsored by:   University of Salerno
                Dip. Informatica e Applicazioni "R.M. Capocelli"
                CNR
                Banco di Roma

CHAIRPERSON
Maria I. Sessa                  U. Salerno

co-CHAIRPERSON
Maria Alpuente Frasnedo         U.P. Valencia

PROGRAM COMMITTEE
Annalisa Bossi                  U. Calabria
Ernesto Burattini               CNR Napoli
Luigia Carlucci Aiello          U. Roma
Matilde Celma Gimenez           U.P. Valencia
Paolo Ciancarini                U. Bologna
Nicoletta Cocco                 U. Venezia
Stefania Costantini             U. Milano
Veronica Dahl                   S.F.U. Canada
Moreno Falaschi                 U. Udine
Gilberto File`                  U. Padova
Pere Garcia Calves              IIIA Blanes
Maria J. Garcia de la Banda     U.P. Madrid
Jose' C. Gonzalez Cristobal     U.P. Madrid
Maria T. Hortala` Gonzalez      U.C. Madrid
Giorgio Levi                    U. Pisa
Paqui Lucio Carrasco            U. Pais Vasco
Alberto Martelli                U. Torino
Maurizio Martelli               U. Genova
Juan J. Moreno Navarro          U.P. Madrid
Robert Nieuwenhuis              U.P. Catalunya
Eugenio Omodeo                  U. Salerno
Giuliano Pacini                 U. Venezia
Catuscia Palamidessi            U. Genova
Dino Pedreschi                  U. Pisa
Inmaculada Perez de Guzman      U. Malaga
Alberto Pettorossi              U. Roma
Ernesto Pimentel Sanchez        U. Malaga
Maria J. Ramirez Quintana       U.P. Valencia
Mario Rodriguez Artalejo        U.C. Madrid
Jose' J. Ruz Ortiz              U.C. Madrid
Domenico Sacca`                 U. Calabria
Roberto Serra                   F.F. Ravenna
Genny Tortora                   U. Salerno
Franco Turini                   U. Pisa
Felisa Verdejo                  UNED

ORGANIZING COMMITTEE
Andrea F. Abate
Bruno Carpentieri
Filomena Ferrucci
Vincenzo Loia
Giuliana Vitiello

TECHNICAL SUPPORT
Alfonso Sessa

CONFERENCE SITE
International Institute for Advanced Scientific Studies (IIASS)
via G. Pellegrino, 19
84019 Marina di Vietri (Salerno) - Italy
Tel.: +39 89 761167 - Fax: +39 89 761189

_____________________________________________________________________________

Welcome to the 1995 Joint Conference on Declarative Programming GULP-PRODE'95
that joins together the 10th Italian GULP Conference on Logic Programming and
the 5th Spanish PRODE Congress on  Declarative  Programming.

The conference will be held from  Monday 11 to  Thursday 14 September 1995 in 
Marina di Vietri sul Mare, Salerno (Italy).

All talks will be held in the conference room of the IIASS.
English, Italian and Spanish are official languages of the Conference

The technical program of the Conference includes:

invited lectures by
        Krzysztof R. Apt        CWI Amsterdam
        Patrick Cousot          Ec. Nor. Sup. Paris
        Robert A. Kowalski      Imp. Col. London
        Giorgio Levi            Univ. Pisa

invited papers by
        Dale Miller             Pennsylvania Univ.
        Luiz M. Pereira         Univ. Nova de Lisboa

and 49 refereed papers.

The referred papers are distinguished in 43 full presentations (25 minutes) 
and 6 short presentations (15 minutes).
In the following program, short presentations are marked with a *


PROGRAM
-------

Monday, September 11

09:00-09:50     Registration and Welcome Address

09:50-10:50     Invited Talk: G. Levi
		"On the Abstract Diagnosis of Logic Programs"
                Chair: M. Alpuente

11:15-12:05     Session: Concurrency I
                Chair: C. Palamidessi
        - Domain Independent Ask Approximation in CCP
          E. Zaffanella
        - Modeling Real-Time in Concurrent Constraint Programming
          F.S. Boer, and M. Gabbrielli

12:05-12:55     Session: Concurrency II
                Chair: A. Bossi
        - Extending CAML Light to Perform Distributed Computation
          J.L. Freire, B.B. Fraguela, and V.M. Gulias
        - A Logic Language Based on GAMMA-Like Multiset Rewriting
          P. Ciancarini, D. Fogli, and M. Gaspari

15:00-15:50     Session: Deductive Databases I
                Chair: D. Sacca'
        - Side Effect Analysis for Logic-Based Planning
          K. Eshghi, and M. Mowbray
        - Downward Refinement of Hierarchical Datalog Theories
          F. Esposito, N. Fanizzi, D. Malerba, and G. Semeraro

15:50-16:40     Session: Deductive Databases II
                Chair: M. Celma Gimenez
        - Integrity Constraints Evolution in Deductive Databases
          D. Montesi, and F. Turini
        - Declarative Reconstruction of Updates in Logic Databases:
          a Compilative Approach
          M. Carboni, V. Foddai, F. Giannotti, and D. Pedreschi

17:05-17:55     Session: Negation I
                Chair: A. Martelli
        - An Introduction to Regular Search Spaces
          A. Momigliano, and M. Ornaghi
        - A Framework for a Transformational Approach to Negation
          J. Humet

17:55-19:10     Session: Negation II
                Chairs: V. Dahl, and R. Nieuwenhuis
        - Ordered Logic and its Relationships to other Logic Programming
          Formalisms
          F. Buccafurri
        - Analysis of SLDNF for Local CLP
          A. Bottoni
        - A Semantics for the Kakas-Mancarella Procedure for Abductive
          Logic Programming
          F. Toni

Tuesday, September 12

09:00-10:00     Invited Talk: R. Kowalski
		"Logical Foundations for Multi-agent Systems"
                Chair: E. Burattini

10:00-10:50     Session: Higher-Order
		Chair: L.C. Aiello	
        - Implementing Higher-Order Term-Rewriting for Program
          Transformation in lambdaProlog
          F. Arcelli, and F. Formato
        - The Undefined Function Differs from the Pointwise Undefined
          Function
          W. Dosch

11:15-12:05     Session:Extensions and Integration I
                Chair: E. Omodeo, and Inmaculada Perez de Guzman
        - LOO: An Object Oriented Logic Programming Language
          P. Mancarella, A. Raffaeta', and F. Turini
        - Forum & Objects
          G. Delzano, and M. Martelli

12:05-13:00     Session: Extensions and Integration II
                Chairs: F. Turini, and F. Verdejo
        - Three-Valued Semantics for Extended Logic Programs
          P.A. Bonatti, and L. Giordano
        - Constructing Logic Programs with Higher-Order Predicates*
          J.F. Nilsson, and A. Hamfelt
        - Petri Nets and Linear Logic: a Case Study for Logic Programming*
          I. Cervesato

15:00-15:50     Guest Paper: L.M. Pereira
		"Parallel Logic Programming with Extensions"
                Chair: G. Levi

15:50-16:40     Session: Applications
                Chair: G. Tortora
        - GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog
          A. Moreno, and J.M. Goni
        - A Declarative Approach to the Design and Realization of Graphic
          Interfaces
          D. Aquilino, D. Apuzzo, and P. Asirelli

17:05-18:20     Session: Implementations I
                Chairs: P. Ciancarini, and R. Serra
        - Improving the Efficiency of Dynamic Modular Logic Languages
          A. Ciampolini, E. Lamma, and P. Mello
        - Lazy Narrowing on an Abstract Machine by Means of Examples
          E. Ullan
        - Exploiting Expression- and Or-Parallelism for a Functional 
	  Logic Language
          W. Hans, St. Winkler, and F. Saenz

18:20-19:15     Session: Implementations II
                Chairs: M.J. Garcia de la Banda, and P. Lucio Carrasco
        - An Effective Algorithm for Compiling Pattern Matching Keeping
          Laziness
          P. Palao, and M. Nunez 
        - A Prolog Implementation of Kem*
          A. Artosi, P. Cattabriga, and G. Governatori
        - Explicit Implementation of a Constraint Solving Mechanism in a
          Relational Programming System*
          P. Bellot, O. Camp, and C. Matiachoff

19:15-20:30     GULP General meeting

Wednesday, September 13

09:00-10:00     Invited Talk: P. Cousot
		"Completeness in Abstract Interpretation"
                Chair: M. Rodriguez Artalejo


10:00-10:50     Session: Linear Logic
		Chair:  M.J. Ramirez Quintana 
        - A Linear Logic Programming Language with Parallel and
          Sequential Conjunction
          P. Bruscoli, and A. Guglielmi
        - A Structural (Meta-Logical) Semantics for Linear Objects
          G. Manco, and F. Turini 

11:15-12:05     Session: Theory and Foundations I
                Chair: M.T. Hortala Gonzalez
        - Computational Properties in Context-Sensitive Rewriting
          S. Lucas
        - Minimal Set Unification
          P. Arenas-Sanchez, and A. Dovier

12:05-13:00     Session: Theory and Foundations II
                Chairs: E. Pimentel Sanchez, and M. Falaschi 
        - A Model Tree Computation of the Strong Well-Founded Semantics
          C. Papp
        - Monadas para la Comunicacion de Objetos Funcionales*
          J.E. Gallardo, P. Guerrero, and B.C. Ruiz
        - La Potencia Expresiva de los Catamorfismos*
          C. Gregorio Rodriguez, M. Nunez Garcia, and P. Palao Gostanza

15:00-16:00     Guest Paper: D. Miller
		"Observations about Using Logic as a Specification
		 Language"
                Chair: M. Martelli	

16:00           Excursion

20:30           Banquet

Thursday, September 14

09:00-10:00     Invited Talk: K. Apt
		"Arrays, Bounded Quantification and Iteration
                 in Logic and Constraint Logic Programming"
                Chair: J.J. Moreno Navarro

10:00-10:50     Session: Transformation and Synthesis
                Chair: A. Pettorossi
        - A Tabulation Transformation Tactic Using Haskell Arrays
          C. Pareja  Flores, R. Pena, and J.A. Velazquez-Iturbide
        - Sintesis de Programas Logicos: Marco Constructivo
          F.J. Galan Morillo, and M. Toro Bonilla

11:15-12:05     Session: Semantics I
                Chair: J.C. Gonzalez Cristobal
        - A Transitional Semantics of Full Prolog
          P. Degano, and C. Priami
        - Analysis of Pure PROLOG Programs
          G. Levi, and D. Micciancio

12:05-12:55     Session: Semantics II
                Chairs: N. Cocco, and D. Pedreschi
        - Analysis of Pure PROLOG Programs
          G. Levi, and D. Micciancio
        - Compositionality in SLD-derivations and their Abstractions
          M. Comini, G. Levi, and M.C. Meo
        - Curbing Theories: Fixpoint Semantics and Complexity Issues
          F. Scarcello, N. Leone, and L. Palopoli

15:00-15:50     Session: Constraints I
                Chairs: S. Costantini, and P. Garcia Calves
        - A Dataflow Semantics for Constraint Logic Programs
          L. Colussi, E. Marchiori, and M. Marchiori
        - Labeling in CLP(FD) with Evolutionary Programming
          A. Ruiz-Andino Illera, and J.J. Ruz Ortiz

15:50-16:40     Session: Constraints II
                Chair: G. File'
        - Constraint Systems for Pattern Analysis  of Constraint Logic-
          Based Languages
          R. Bagnara
        - Tuple Inheritance: A New Kind of Inheritance for (Constraint)
          Logic Programming
          J.J. Moreno-Navarro, J. Garcia-Martin, and A. del Pozo-Pietro

17:05-17:55     Session: Analysis I
                Chair: J.J. Ruz Ortiz
        - Declarative Diagnosis Revisited
          M. Comini, G. Levi, and G. Vitiello
        - "Optimal" Collecting Semantics for Analysis in a Hierarchy of
          Logic Program Semantics
          R. Giacobazzi

17:55-18:45     Session: Analysis II
                Chair: G. Pacini
        - Contributions to a Theory of Existential Termination for Definite
          Logic Programs
          G. Levi, and F. Scozzari
        - A Case Study in Logic Program Verification: the Vanilla
          Metainterpreter
          D. Pedreschi, and S. Ruggieri


SOCIAL EVENTS
-------------
On Wednesday afternoon, September 13, there will be an excursion and 
at 8,30 pm there will be the conference dinner at the Lloid's Baia Hotel
in Vietri sul Mare.

Social events will be offered to all registered persons.   
For accompanying people the rate per person is Lit. 70.000 .


REGISTRATION FEES
-----------------
The following registration fees are expressed in  Italian Lire 
(1 $US approx. 1640 Italian Lire, 1 peseta approx. 14 Italian Lire):
   _______________________________________________ _____________________
  |             early registration                | late registration   |
  |             (before July 31)                  |  (after July 31)    |
  |_______________________________________________|_____________________|
  | regular.......................450.000 Lit.    |    500.000 Lit.     |
  | students*.....................250.000 Lit.    |    300.000 Lit.     | 
  | accompanying person**..........70.000 Lit.    |     70.000 Lit.     | 
  | additional copy of the                        |                     |
  | proceedings....................50.000 Lit.    |     50.000 Lit.     |
  | additional copy of the book:                  |                     |
  | 1985-1995 Ten Years of Logic                  |                     |
  | Programming in Italy***.......100.000 Lit     |    100.000 Lit.     |
  |_______________________________________________|_____________________|

* Students must include a photocopy of their student identification or a 
  note from their department or supervisor verifying student status.

** The fee for accompanying person covers participation in the social events.

*** The bock has been edited to celebrate the 10th anniversary of the
    GULP association. 
    These contributions will be assigned to a fund for grants. 

Registration includes:    
- attendance at the conference lectures and talks
- coffee breaks and participation in the social events
- one copy of the proceedings
- one copy of the book "1985-1995 TEN YEARS OF LOGIC PROGRAMMING IN ITALY"
  edited on the occasion of the 10th anniversary of the GULP association

Early registration must be made by filling the REGISTRATION FORM attached
below and returning it, with related payment (before July 31 1995) to:   
	Maria I. Sessa
	Dipartimento di Informatica ed Applicazioni "R.M. Capocelli" 
	Universita' di Salerno
	84081 Baronissi (Italy)


PAYMENT 
--------
Advance payment of the registration fee should be made in the following way.

Please make sure that:
- your payment includes any banking or other fees so that the organization 
  of GULP-PRODE'95 receives the correct amount in Italian Lire.

- your bank arranges the transfer free of charges to the beneficiary. 

- your own name is clearly legible in order to ensure that your payment will 
  be correctly registered.


In Italy: Payment must be made by money transfer.
Outside Italy: Payment must be made by international money transfer. 

Bank account information
        Beneficiary:  	      Maria I. Sessa 
        Beneficiary address:  Dip. Informatica e Applicazioni
			      84081 Baronissi- Salerno, Italy	
        Country:      Italy
        Bank:         Banco di Napoli - Sportello 7
        Bank address: v. S. Giovanni Bosco 24/F
		      84100 Salerno, Italy	
 	ABI	      01010
	CAB	      15207
        Account no.:  27/264
        Phone: 	      +39-(0)89-798572       


CANCELLATIONS
------------- 
A  written  notification  of  cancellation must  be sent to:
	Maria I. Sessa
	Dip. Informatica e Applicazioni
	84081 Baronissi- Salerno, Italy
The refund request will be honored if postmarked before 31 August, 1995,
but a service charge of 10% of the registration fee will be withheld.
 
We  regret  that  no  refunds  of  the  registration  fee  can  be  made  for
cancellations received after August 31. 


HOTEL ACCOMMODATION
------------------
The organization of the Conference has obtained specially reduced rates
for the accommodation in Hotels near the Conference site.

Reservations must be made by the participants themselves, directly with 
the Hotel. Please mention "GULP-PRODE'95".
It is recommended to make reservation of rooms very soon, since 
in September there are many tourists in the Amafi coast.
For reservation please contact the following Hotel:

Hotel LA LUCERTOLA*** - Marina di Vietri (200 metres from the IIASS)
Tel.+39-(0)89-210837/8
with breakfast      ||    with lunch        || with lunch and dinner
---------------------------------------------------------------------
 single   double    ||   single    double   ||   single    double  
---------------------------------------------------------------------
 70.000   95.000        90.000   85.000 p.p.    105.000   95.000 p.p.
---------------------------------------------------------------------


Other Hotel accommodations are available:


Lloid's Baia Hotel**** - Vietri sul Mare 
Tel. +39-(0)89-210145   FAX +39-(0)89-210186
with breakfast      ||    with lunch        || with lunch and dinner
---------------------------------------------------------------------
 single   double    ||   single    double   ||   single    double
---------------------------------------------------------------------
 130.000  170.000      140.000   110.000 p.p.  165.000   135.000 p.p.
---------------------------------------------------------------------


Hotel Vietri**- Marina di Vietri (200 metres from the IIASS)
Tel. +39-(0)89-761644/210400
with breakfast      ||    with lunch        || with lunch and dinner
---------------------------------------------------------------------
 single   double    ||   single    double   ||   single    double
---------------------------------------------------------------------
 45.000   60.000        65.000    60.000 p.p.   70.000    65.000 p.p.
---------------------------------------------------------------------

Hotel Plaza**** piazza Vittorio Veneto, 42 (railway square) - Salerno
Tel. +39 (0)89 224477 Fax. +39 (0)89 237311
with breakfast      ||    with lunch        || with lunch and dinner
---------------------------------------------------------------------
 single   double    ||   single    double   ||   single    double
---------------------------------------------------------------------
 92.000   144.000         
---------------------------------------------------------------------

Albergo Montestella*** Corso Vittorio Emanuele 156 - Salerno
FAX +39-(0)89-229167 (the book by FAX is required)
with breakfast      ||    with lunch        || with lunch and dinner
---------------------------------------------------------------------
 single   double    ||   single    double   ||   single    double
---------------------------------------------------------------------
 70.000   100.000        
---------------------------------------------------------------------

Albergo Santa Rosa* Corso Vittorio Emanuele, 14 - Salerno
Tel. +39-89-(0)761644/210400
without breakfast   ||    with lunch        || with lunch and dinner
---------------------------------------------------------------------
 single   double    ||   single    double   ||   single    double
---------------------------------------------------------------------
 38.000   55.000  
---------------------------------------------------------------------


TRAVEL INSTRUCTION
------------------
Travelling to Salerno:
By plane to Rome or to Naples, then by train from Rome or from Naples
to the railways square of Salerno.

Travelling from Salerno to Vietri sul Mare. 
Or:
- by bus No.4 from the railways square of Salerno to the square
  of Vietri sul Mare (km 5); then walking distance from the Hotel 
  near the IIASS.
Or:      
- by taxi from the railways square of Salerno to the Hotel near the 
  IIASS (Lit. 20.000) 


REGISTRATION FORM 
-----------------
   Please  complete  (block letters)  and  return  this form and payment 
   before July 31 to:

   Maria I. Sessa
   GULP-PRODE'95
   Dipartimento di Informatica e Applicazioni 
   84081 Baronissi (Salerno), Italy
   Phone:  +39 89 965328           FAX:    +39 89 965272 
   e-mail: gulpro95@udsab.dia.unisa.it


---------------------------CUT HERE-----------------------------------------

                          GULP-PRODE'95

        1995 Joint Conference on Declarative Programming

              Marina di Vietri (Salerno-Italy)
                    September 11-14, 1995


Last Name ______________________________________________________________

First Name _____________________________________________________________

Affiliation ____________________________________________________________

Address ________________________________________________________________

        ________________________________________________________________

	________________________________________________________________

Phone _______________________________ Fax ______________________________

e-mail _________________________________________________________________

AFFILIATION (Please check):      [ ] Regular    *[ ] Student

REGISTRATION (Please check):     [ ] Early       [ ] Late
 
                                           Amount ________________ Lit.

ADDITIONAL TICKETS       No.___ of tickets at Lit. 70.000 x ticket:

ADDITIONAL PROCEEDINGS   No.___ of copies  at Lit. 50.000 x copy:

ADDITIONAL BOOKS: 1985-1995 Ten Years of Logic Programming in Italy  
                         No.___ of copies  at Lit. 100.000 x copy:

                                           Amount ________________ Lit.

                                        ===============================

              			     TOTAL AMOUNT ________________ Lit.



    Signature  _________________________        Date  ________________




* Students must include a photocopy of their student identification or a
   note from their department or supervisor verifying student status.
________________________________________________________________________