Xref: utzoo comp.arch:11444 comp.lang.prolog:1898
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!jwmills
From: jwmills@iuvax.cs.indiana.edu (Jonathan Mills)
Newsgroups: comp.arch,comp.lang.prolog
Subject: NACLP'89 Architecture Workshop
Message-ID: <26228@iuvax.cs.indiana.edu>
Date: 19 Sep 89 00:50:05 GMT
Reply-To: jwmills@iuvax.cs.indiana.edu (Jonathan Mills)
Organization: Indiana University, Bloomington
Lines: 44

NACLP'89 Workshop on Computer Architecture and Logic Programming

J.W. Mills, Computer Science Department, Indiana University,
            Bloomington, Indiana, 47405-4101


This workshop is intended to provide an opportunity to discuss the
relationship between computer architecture and logic programming,
where "logic programming" is used in the broad sense of
programming using logic, which includes but does not limit the
discussion to Prolog.

This session will be a good opportunity for the designers of LP
architectures over the past several years to summarize their work,
and set directions for future research.  The goal is to anticipate
the future of logic programming architectures, perhaps even to a
post-WAM era.  Thus, a "logic programming" architecture may mean
something quite unlike what we've seen so far.

Researchers interested in the following topics are particularly
encouraged to participate:

  - implementations of logic programming architectures
  - design techniques for logic programming architectures
  - extensions of existing RISC and CISC architectures
  - instruction sets for theorem proving and deductive databases
  - architectures for multi-valued and fuzzy logic programming
  - inference cellular automata
  - analog inference engines

Anyone who would like to be invited to give a presentation should
notify J. W. Mills (jwmills@iuvax.cs.indiana.edu, 812-855-6486).

Participants should plan on 15-20 minutes to describe the status of
their project, show VLSI chips, describe an architecture or its
implementation, justify design choices, lobby for benchmarks,
or predict the future.  Presentations will be followed by an open
discussion of significant issues.

A non-WAM logic programming system using an inference cellular
automaton based on relevance logic will be demonstrated at the end
of the presentations.  Participants are welcomed to give other
demonstrations.