Path: utzoo!attcan!uunet!wuarchive!sdd.hp.com!uakari.primate.wisc.edu!uflorida!gatech!mcnc!duke!gopalan
From: gopalan@duke.cs.duke.edu (Gopalan Nadathur)
Newsgroups: comp.lang.prolog
Subject: workshop on higher-order logic programming
Message-ID: <656007837@orac.cs.duke.edu>
Date: 15 Oct 90 16:23:59 GMT
Organization: Duke University Computer Science Dept.; Durham, N.C.
Lines: 80


                        NACLP '90 WORKSHOP
                        ------------------

                               on
                          

                  HIGHER-ORDER LOGIC PROGRAMMING
                  ------------------------------

                  2:00 - 6:30 p.m., November 1, 1990
                     Hyatt Regency, Austin, Texas
                                Room C



This workshop will discuss both theoretical and practical issues 
concerning the idea of higher-order logic programming. Several
different approaches to this notion will be presented. The topics 
of practical motivation, realms of applications and implementation 
will also be discussed in conjunction with these proposals. In all, 
six presentations have been scheduled for the workshop, with each 
expected to last 30 minutes. 

Attendance at the workshop is open to all NACLP '90 registrants. 
However, please inform the workshop organizer of your intention to 
attend at the address indicated below, should you know of this in 
advance, 

	Gopalan Nadathur
        Department of Computer Science
        Duke University
        Durham, NC 27706

        e-mail: gopalan@cs.duke.edu
        tel: (919)-660-6545



The schedule of talks is the following:



2:00 - 2:30  A Minimal Model Approach to Higher Order Prolog
                     Bill Wadge, University of Victoria


2:30 - 3:00  Title to be announced
                     Fernando Pereira, Bell Labs (Murray Hill)

              
3:00 - 3:30  Examples of Programming in HiLog
                     David S. Warren, SUNY Stony Brook


3:30 - 4:00  Extending HiLog with Lambda Abstraction
                     Weidong Chen, Southern Methodist University


               ---------------------
                 Break 4:00 -4:15
               ---------------------

4:15 - 4:45  Predicates as Parameters in Logic Programming:
             A Set-Theoretic Basis
                     Jamie Andrews, Edinburgh University


4:45 - 5:15  Horn Clauses in an Intensional Version of Church's Logic
                     Gopalan Nadathur, Duke University


5:15 - 5:45  A Compiled Implementation of Prolog with Higher-order Terms
                     Pascal Brisset and Olivier Ridoux
                     IRISA, Campus de Beaulieu, 35042 RENNES CEDEX, FRANCE


               -------------------------
                 Discussion 6:00 - 6:30
               -------------------------