[comp.arch] Status of Logic Programming and Functional Machines

steve@hubcap.clemson.edu ("Steve" Stevenson) (10/29/90)

How is/are prolog machine developments going? I have the following
references from Eugene Miya's bibliography. Would someone please update
them?

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

%A Yaohan Chu
%A Kozo Itano
%T Organization of a Parallel Prolog Machine
%J International Workshop on High-Level Computer Architecture
%I Univ. of Maryland
%D May 1984
%P 4.18-4.30
%K PROLOG machines

%A Noriyoshi Ito
%A Kanae Masuda
%T Parallel Inference Machine Based on the Data Flow Model
%J International Workshop on High-Level Computer Architecture
%I Univ. of Maryland
%D May 1984
%P 4.31-4.40
%K PROLOG machines

%A Y. Kaneda
%A N. Tamura
%A K. Wada
%A H. Matsuda
%T Sequential PROLOG Machine PEK: Architecture and Software System
%J International Workshop on High-Level Computer Architecture
%I Univ. of Maryland
%D May 1984
%P 4.1-4.6
%K PROLOG machines

%A Evan Tick
%T Towards a Multiple Pipelined Prolog Processor
%J International Workshop on High-Level Computer Architecture
%I Univ. of Maryland
%D May 1984
%P 4.7-4.17
%K PROLOG machines

=============================================================
By the same token, what is the situation with functional machines like
Symbolics? Is it the case that the economics is poor? Are there enough
folks who want these different models but don't represent enough of a 
market or is there something fundamentally wrong with non-von Neumann
architetures?

steve
-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906