Degroot.YKTVMV.IBM%Rand-Relay@sri-unix.UUCP (11/22/83)
From: Doug DeGroot <Degroot.YKTVMV.IBM@Rand-Relay>
1984 International Symposium on Logic Programming
February 6-9, 1984
Atlantic City, New Jersey
BALLY'S PARK PLACE CASINO
Sponsored by the IEEE Computer Society
Material Enclosed:
Conference Calendar
Conference Registration Form
Hotel Registration Form
Tutorial Description
Conference Program
Travel Notes
__________________________________________________________
Registration Form
Send your check and completed registration form to:
Registration - 1984 ISLP
Doug DeGroot, Program Chairman
IBM Thomas J. Watson Research Center
P.O. Box 218
Yorktown Heights, NY 10598
Name: _____________________________________________
Company/School: ___________________________________
Address:___________________________________________
___________________________________________________
___________________________________________________
Telephone: ________________________________________
STATUS Conference Tutorial
Member, IEEE __ $155 __ $110
Non-member __ $180 __ $125
IEEE COMPUTER SOCIETY MEMBERSHIP NO.: ________
Late registration - add $15 (if after 1/30/84)
Make check payable to:
1984 Int'l Symposium on Logic Programming
Warning:
Don't forget to send in your Hotel Registration Form as
well.
_____________________________________________________________
Hotel Registration Information
The Symposium will take place in Bally's Park Place Casino.
A large number of rooms have been reserved there. However,
if they run out, additional rooms have been reserved at the
Claridge and Sands hotels. Both are close to Bally's. I
suggest you ask for a room at Bally's and indicate a second
choice on your registration form.
An official room registration form follows. Please fill it
in and send it with the required deposit to Bally's
immediately.
Rooms are limited, so return your registration soon.
Bally's Park Place Casino Hotel
Park Place and the Boardwalk
Atlantic City, New Jersey 08401
phone: (800) 772-7777
Make check payable to:
Bally's Park Place Casino Hotel
____________________________________________________________
Hotel Registration Form
1984 Int'l Symposium on Logic Programming
Bally's is the site of the conference itself. The Claridge
and Sands also have a number of rooms reserved for us. All
three offer the basic rate of $52.00 for a single or double.
If Bally's becomes full, your registration form will be
forwarded to your hotel of second choice. You may stay in
one of these other hotels by simply not checking any of the
Bally's slots.
Name: ______________________________________________
Address:____________________________________________
____________________________________________________
____________________________________________________
Date of arrival: ___________________________________
Date of departure: _________________________________
Telephone: _________________________________________
CODE: LOGIC,ACLP
Primary Choice
__ Bally's single (one person, one bed) $52.00
__ Bally's double (two persons, one bed) $52.00
__ Bally's double/double (two persons, two beds) $52.00
__ Bally's one-bedroom suite $104.00
__ Bally's two-bedroom suite $156.00
__ Bally's triple $67.00
__ Bally's quadruple $82.00
Secondary Choice - Claridge or Sands
__ Claridge single (one person, one bed) $52.00
__ Claridge double (two persons, one bed) $52.00
__ Claridge double/double (two persons, two beds) $52.00
__ Claridge one-bedroom suite $104.00
__ Claridge two-bedroom suite $156.00
__ Claridge triple $62.00
__ Claridge quadruple $72.00
__ Sands single (one person, one bed) $52.00
__ Sands double (two persons, one bed) $52.00
__ Sands double/double (two persons, two beds) $52.00
__ Sands triple $62.00
__ Sands quadruple $72.00
Reservations must be received by Jan 17, 1984.
Send in both pages of the hotel registration form.
Cancellations must be made 48 hours in advance to receive
deposit.
Send completed hotel registration forms to:
Bally's Park Place Casino Hotel
Park Place and the Boardwalk
Atlantic City, New Jersey 08401
(800) 772-7777
____________________________________________________________
Travel Notes
Atlantic City, New Jersey is about a 3-4 hour drive from
either the LaGuardia or JFK airports (but closer to JFK).
It is a 1-1/2 hour drive from the Newark, New Jersey
airport. It is about a 1 hour drive from the Philadelphia
airport. You may want to rent a car. If so, check with Hertz
for discount rates for the conference.
If you want to fly straight into the Atlantic City airport,
ask the person booking your flight to make Atlantic City
your final destination. Tell them to use the code AL-AIY as
the code for your final destination. This will book your
final leg of the journey on an Alleghany Airline shuttle.
If they cannot, ask for the code AIY. In this way, your
overall flight costs should be greatly reduced. (The
Alleghany shuttle is available from Washington, Newark, JFK,
LaGuardia, and Philadelphia.)
From the Atlantic City airport, you can take a 5-minute taxi
to the hotel.
_____________________________________________________________
Conference Overview
Opening Address:
Prof. J.A. (Alan) Robinson
Syracuse University
Guest Speaker:
Prof. Alain Colmerauer
Univeristy of Aix-Marseille II
Marseille, France
Keynote Speaker:
Dr. Ralph E. Gomory,
IBM Vice President & Director of Research,
IBM Thomas J. Watson Research Center
Tutorial: An Introduction to Prolog
Ken Bowen, Syracuse University
Entertainment
- Three Cocktail Parties
- Banquet
- Casino Entertainment Show
Presentations
35 Papers, 11 Sessions (11 Countries, 4 Continents)
___________________________________________________________
Conference Calendar
February 6-9, 1984
Monday, February 6
- Late Registration for Conference - all day
- Tutorial - An Introduction to Logic Programming
9:00 a.m. - 4:30 p.m. (registration required)
- Cocktail Party - 7:00 - 8:00 p.m.
Tuesday, February 7
- Conference Sessions - 9:00 a.m. - 6:00 p.m.
- Cocktail Party - 7:00 p.m. - 8:00 p.m.
- Banquet - 8:00 p.m. - 10:00 p.m.
Wednesday, February 8
- Conference Sessions - 9:00 a.m. - 6:00 p.m.
- Cocktail Party - 7:00 p.m. - 8:00 p.m.
- Casino Entertainment Show - 10:00 p.m. - 12:00 p.m.
Thursday, February 9
- Conference Sessions - 9:00 a.m. - 6:00 p.m.
- Cash in your chips - 7:00 p.m. - ?
____________________________________________________________
Conference Program
(Preliminary)
Session 1: Architectures I
__________________________
1. Parallel Prolog Using Stack Segments on Shared-memory
Multiprocessors
Peter Borgwardt (Univ. Minn)
2. Executing Distributed Prolog Programs on a Broadcast
Network
David Scott Warren (SUNY Stony Brook, NY)
3. AND Parallel Prolog in Divided Assertion Set
Hiroshi Nakagawa (Yokohama Nat'l Univ, Japan)
4. Towards a Pipelined Prolog Processor
Evan Tick (Stanford Univ,CA) and David Warren
Session 2: Architectures II
___________________________
1. Implementing Parallel Prolog on a Multiprocessor Machine
Naoyuki Tamura and Yukio Kaneda (Kobe Univ, Japan)
2. Control of Activities in the OR-Parallel Token Machine
Andrzej Ciepielewski and Seif Haridi (Royal Inst. of
Tech, Sweden)
3. Logic Programming Using Parallel Associative Operations
Steve Taylor, Andy Lowry, Gerald Maguire, Jr., and Sal
Stolfo (Columbia Univ,NY)
Session 3: Parallel Language Issues
___________________________________
1. Negation as Failure and Parallelism
Tom Khabaza (Univ. of Sussex, England)
2. A Note on Systems Programming in Concurrent Prolog
David Gelertner (Yale Univ,CT)
3. Fair, Biased, and Self-Balancing Merge Operators in
Concurrent Prolog
Ehud Shaipro (Weizmann Inst. of Tech, Israel)
Session 4: Applications in Prolog
_________________________________
1. Editing First-Order Proofs: Programmed Rules vs. Derived
Rules
Maria Aponte, Jose Fernandez, and Phillipe Roussel (Simon
Bolivar Univ, Venezuela)
2. Implementing Parallel Algorithms in Concurrent Prolog:
The MAXFLOW Experience
Lisa Hellerstein (MIT,MA) and Ehud Shapiro (Weizmann
Inst. of Tech, Israel)
Session 5: Knowledge Representation and Data Bases
__________________________________________________
1. A Knowledge Assimilation Method for Logic Databases
T. Miyachi, S. Kunifuji, H. Kitakami, K. Furukawa, A.
Takeuchi, and H. Yokota (ICOT, Japan)
2. Knowledge Representation in Prolog/KR
Hideyuki Nakashima (Electrotechnical Laboratory, Japan)
3. A Methodology for Implementation of a Knowledge
Acquisition System
H. Kitakami, S. Kunifuji, T. Miyachi, and K. Furukawa
(ICOT, Japan)
Session 6: Logic Programming plus Functional Programming - I
____________________________________________________________
1. FUNLOG = Functions + Logic: A Computational Model
Integrating Functional and Logical Programming
P.A. Subrahmanyam and J.-H. You (Univ of Utah)
2. On Implementing Prolog in Functional Programming
Mats Carlsson (Uppsala Univ, Sweden)
3. On the Integration of Logic Programming and Functional
Programming
R. Barbuti, M. Bellia, G. Levi, and M. Martelli (Univ. of
Pisa and CNUCE-CNR, Italy)
Session 7: Logic Programming plus Functional Programming- II
____________________________________________________________
1. Stream-Based Execution of Logic Programs
Gary Lindstrom and Prakash Panangaden (Univ of Utah)
2. Logic Programming on an FFP Machine
Bruce Smith (Univ. of North Carolina at Chapel Hill)
3. Transformation of Logic Programs into Functional Programs
Uday S. Reddy (Univ of Utah)
Session 8: Logic Programming Implementation Issues
__________________________________________________
1. Efficient Prolog Memory Management for Flexible Control
Strategies
David Scott Warren (SUNY at Stony Brook, NY)
2. Indexing Prolog Clauses via Superimposed Code Words and
Field Encoded Words
Michael J. Wise and David M.W. Powers, (Univ of New South
Wales, Australia)
3. A Prolog Technology Theorem Prover
Mark E. Stickel, (SRI, CA)
Session 9: Grammars and Parsing
_______________________________
1. A Bottom-up Parser Based on Predicate Logic: A Survey of
the Formalism and Its Implementation Technique
K. Uehara, R. Ochitani, O. Kakusho, and J. Toyoda (Osaka
Univ, Japan)
2. Natural Language Semantics: A Logic Programming Approach
Antonio Porto and Miguel Filgueiras (Univ Nova de Lisboa,
Portugal)
3. Definite Clause Translation Grammars
Harvey Abramson, (Univ. of British Columbia, Canada)
Session 10: Aspects of Logic Programming Languages
__________________________________________________
1. A Primitive for the Control of Logic Programs
Kenneth M. Kahn (Uppsala Univ, Sweden)
2. LUCID-style Programming in Logic
Derek Brough (Imperial College, England) and Maarten H.
van Emden (Univ. of Waterloo, Canada)
3. Semantics of a Logic Programming Language with a
Reducibility Predicate
Hisao Tamaki (Ibaraki Univ, Japan)
4. Object-Oriented Programming in Prolog
Carlo Zaniolo (Bell Labs, New Jersey)
Session 11: Theory of Logic Programming
_______________________________________
1. The Occur-check Problem in Prolog
David Plaisted (Univ of Illinois)
2. Stepwise Development of Operational and Denotational
Semantics for Prolog
Neil D. Jones (Datalogisk Inst, Denmark) and Alan Mycroft
(Edinburgh Univ, Scotland)
___________________________________________________________
An Introduction to Prolog
A Tutorial by Dr. Ken Bowen
Outline of the Tutorial
- AN OVERVIEW OF PROLOG
- Facts, Databases, Queries, and Rules in Prolog
- Variables, Matching, and Unification
- Search Spaces and Program Execution
- Non-determinism and Control of Program Execution
- Natural Language Processing with Prolog
- Compiler Writing with Prolog
- An Overview of Available Prologs
Who Should Take the Tutorial
The tutorial is intended for both managers and programmers
interested in understanding the basics of logic programming
and especially the language Prolog. The course will focus on
direct applications of Prolog, such as natural language
processing and compiler writing, in order to show the power
of logic programming. Several different commercially
available Prologs will be discussed and compared.
About the Instructor
Dr. Ken Bowen is a member of the Logic Programming Research
Group at Syracuse University in New York, where he is also a
Professor in the School of Computer and Information
Sciences. He has authored many papers in the field of logic
and logic programming. He is considered to be an expert on
the Prolog programming language.