kgm@mulga.oz (Kimbal G. Marriott) (05/04/87)
4th International Conference on Logic Programming
University of Melbourne, Australia
25-29 May 1987
The 4th International Conference on Logic Programming is to
be held at the University of Melbourne. Melbourne is a city
in the south east of Australia. It is located beside a large
bay and has a population of around 3 million. During May
the weather is expected to be clear and sunny but bring an
umbrella(!).
Accommodation is available at the adjacent University Col-
leges, a nearby hotel and a hotel in the city itself.
Delegates staying at the University Colleges are requested
to check in at the registration desk at Trinity College
which will be manned on the Sunday and Monday.
There is a Sky Bus coach service from Tullamarine (Mel-
bourne) Airport to central Melbourne about 25km away. It
departs on the hour and half hour and the cost is about $6
per person. When boarding the coach delegates should tell
the driver the name of the hotel they are staying at.
Delegates staying at the University Colleges should ask to
be dropped off at Trinity College.
Anybody still requiring a registration form or more informa-
tion concerning the conference should contact either
Ms Buzz McCarthy
Director
Bloomsbury Conference Services
319 Lennox Street
Richmond, 3121, Victoria, Australia
Telephone: (03) 428 1983
Telex: AA 36224
or
UUCP: iclp@munnari.uucp
ARPA: iclp%munnari.oz@seismo.css.gov
CSNET: iclp%munnari.oz@australia
JANET: iclp%munnari.oz@uk.ac.ukc
The preliminary conference programme follows.
Monday 25 May (Tutorials Only)
09:00 - 13:00: Tutorial A
Topic: Introduction to Logic Programming
Speakers: L. Naish, K. Ramamohanarao (University of Melbourne)
09:00 - 13:00: Tutorial B
Topic: Natural Language Processing
Speaker: V. Dahl (Simon Fraser University)
14:00 - 18:00: Tutorial C
Topic: Logic Programming for Expert Systems
Speaker: M. Sergot (Imperial College)
14:00 - 18:00: Tutorial D
Topic: Parallel Logic Programming Languages
Speaker: K. Ueda (ICOT)
14:00 - 18:00: Tutorial E
Topic: Advanced PROLOG Programming
Speaker: L. Sterling (Case Western Reserve University)
Tuesday 26 May
09:00 - 10:00: Keynote Address: J.A. Robinson (Syracuse
University), Chairperson: J-L. Lassez (IBM T.J. Watson
Research Center)
10:40 - 12:20: Session on Warren Abstract Machine, Chairper-
son: E. Lusk (Argonne National Lab)
* Advantages of Implementing PROLOG by Microprogramming a
Host General Purpose Computer, J. Gee, S.W. Melvin and Y.N.
Patt (Univ. of California, Berkeley)
* Efficient Implementation of a Defensible Semantics for
Dynamic PROLOG Code, T. Lindholm and R.A. O'Keefe (Quintus
Computer Systems)
* Freeze, Indexing and Other Implementation Issues in the
WAM, M. Carlsson (SICS)
* A Performance Comparison between PLM and an M68020 PROLOG
Processor, H. Mulder and E. Tick (Stanford University)
13:30 - 15:35: Session on Databases, Chairperson: R.W. Topor
(University of Melbourne)
* A Database-Complete Proof Procedure based on SLD-
Resolution, L. Vieille (ECRC)
* Implementation of Recursive Queries for a Data Language
based on Pure Horn Logic, D. Sacca (CRAI) and C. Zaniolo
(MCC)
* Stratification and Knowledge Based Management, C. Lassez,
K. McAloon (IBM T.J. Watson Research Center) and G.S. Port
(University of Melbourne)
* Set Grouping and Layering in Horn Clause Programs, O.
Shmueli and S. Naqvi (MCC)
* Concurrent Database Updates in PROLOG, L. Naish, J.A.
Thom and K. Ramamohanarao (University of Melbourne)
16:05 - 17:20: Session on Constraints, Chairperson: R. Nasr
(MCC)
* Methodology and Implementation of a CLP System, J. Jaffar
(IBM T.J. Watson Research Center) and S. Michaylov (Monash
University)
* Answer Sets and Negation-as-Failure, K. Kunen (University
of Wisconsin)
* Forward Checking in Logic Programming, P. van Hentenryck
and M. Dincbas (ECRC)
17:20 - 18:05: Invited Talk: K.L. Clark and S. Gregory
(Imperial College), PARLOG and PROLOG United, Chairperson:
H. Tamaki (Ibaraki University)
Wednesday 27 May
09:00 - 09:45: Invited Talk: F. Pereira (SRI International),
Grammars and Logics of Partial Information, Chairperson:
R.A. O'Keefe (Quintus Computer Systems)
10:15 - 12:20: Session on Parallelism - Part I, Chairperson:
S. Morishita (IBM Tokyo Research Lab)
* A Distributed Implementation of Flat GHC on the Multi-
PSI, N. Ichiyoshi, T. Miyazaki and K. Taki (ICOT)
* Multiple Reference Management in Flat GHC, T. Chikayama
and Y. Kimura (ICOT)
* PARLOG and ALICE: a Marriage of Convenience, M. Lam and
S. Gregory (Imperial College)
* An OR-parallel Execution Algorithm for PROLOG and its FCP
Implementation, E. Shapiro (Weizmann Institute)
* KL1 Execution Model for PIM Cluster with Shared Memory,
M. Sato, H. Shimizu, A. Matsumoto, K. Rokusawa and A. Goto
(ICOT)
13:30 - 15:35: Session on Implementation Issues, Chairper-
son: M. Carlsson (SICS)
* Making Exhaustive Search Programs Deterministic, Part II,
K. Ueda (ICOT)
* Stream-based Compilation of Ground I/O PROLOG into
Committed-choice Languages, H. Tamaki (Ibaraki University)
* Meta-level Programming: a Compiled Approach, H. Bacha
(Syracuse University)
* Hash Tables in Logic Programming, J. Barklund and H.
Millroth (Uppsala University)
* Evaluating Logic Programs via Set-valued Functions, C.
Cecchi, D. Sartini and L. Aiello (Universita di Roma)
Thursday 28 May
09:00 - 09:45: Invited Talk: M. Sato (Tohoku University),
Quty: A Concurrent Language based on Logic and Functions,
Chairperson: K. Kunen (University of Wisconsin)
10:15 - 12:20: Session on Language Issues, Chairperson: C.
Palamidessi (Universita di Pisa)
* Near-Horn PROLOG, D.W. Loveland (Duke University)
* A Theoretical Combination of SLD-resolution and Nar-
rowing, A. Yamamoto (Kyushu University)
* Inductive and Deductive Control of Logic Programs, A.R.
Helm (University of Melbourne)
* An Efficient Logic Programming Language and its Applica-
tion to Music, K. Ebcioglu (IBM T.J. Watson Research Center)
* Symbolical Construction of Truth Valued Domain for Logic
Programs, S. Morishita, M. Numao and S. Hirose (IBM Tokyo
Research Lab)
13:30 - 15:35: Session on Parallelism - Part II, Chairper-
son: N. Ichiyoshi (ICOT)
* Relating Goal-scheduling, Precedence and Memory
Management in AND-parallel execution of Logic Programs, M.V.
Hermenegildo (MCC)
* Experiments with OR-parallel Logic Programs, T. Disz, E.
Lusk and R. Overbeek (Argonne National Lab)
* A Performance-oriented Design for OR-parallel Logic Pro-
gramming, P. Tinker and G. Lindstrom (University of Utah)
* Parallel Evaluation of Logic Programs: the REDUCE-OR Pro-
cess Model, L.V. Kale (University of Illinois, Urbana-
Champaign)
* Implementing Backward Execution in Non-deterministic
AND-parallel Systems, J.S. Conery (University of Oregon)
16:05 - 17:20: Session on Applications, Chairperson: P. Cox
(Tech. Univ. of Nova Scotia)
* PYTHON: An Expert Squeezer, L. Sterling and Y. Nygate
(Case Western Reserve University)
* CLP(R) and Some Electrical Engineering Problems, N.C.
Heintze, S. Michaylov and P.J. Stuckey (Monash University)
* Logical Secrets, M.S. Miller, D. Bobrow, E.D. Tribble and
J. Levy (XEROX PARC)
17:20 - 18:05: Invited Talk: H. Gallaire (ECRC), Boosting
Logic Programming, Chairperson: F. Kluzniak (Warsaw Univer-
sity)
Friday 29 May
09:00 - 09:45: Invited Talk: K. Ramamohanarao and J.A.
Shepherd (University of Melbourne), Answering Queries in
Deductive Database Systems, Chairperson: C. Zaniolo (MCC)
10:15 - 12:20: Session on Program Analysis, Chairperson:
M.J. Maher (IBM T.J. Watson Research Center)
* Finite Fixed-point Theorems, R.A. O'Keefe (Quintus Compu-
ter Systems)
* Construction of Logic Programs based on Generalised
Fold/Unfold Rules, T. Kanamori and K. Horiuchi (Mitsubishi
Research Lab)
* A System of Precise Modes for Logic Programs, Z. Somogyi
(University of Melbourne)
* Type Synthesis for Ground PROLOG, F. Kluzniak (Warsaw
University)
* Derivation of Polymorphic Types for PROLOG Programs, J.
Zobel (University of Melbourne)
13:30 - 15:35: Session on Concurrent Languages, Chairperson:
S. Gregory (Imperial College)
* Channels: a Generalization of Streams, E.D. Tribble, M.S.
Miller, K. Kahn, D.G. Bobrow, C. Abbott (XEROX PARC) and E.
Shapiro (Weizmann Institute)
* Logic Semantics for a Class of Committed-choice Programs,
M.J. Maher (IBM T.J. Watson Research Center)
* An Approach to the Declarative Semantics of Synchroniza-
tion in Logic Languages, G. Levi and C. Palamidessi (Univer-
sita di Pisa)
* An Object-oriented Programming Language based on the
Parallel Logic Programming Language KL1, M. Ohki, A. Takeu-
chi and K. Furukawa (ICOT)
* Logic Operating Systems: Design Issues, I.T. Foster
(Imperial College)
16:05 - 16:55: SICS Presentation, S. Sundstrom
16:55 - 18:05: Panel Discussion: What are the Novel Applica-
tions of Logic Programming?, Chairperson: F. Mizoguchi
(Science University of Tokyo)