[comp.parallel] References on logic and massive parallelism wanted

kurfess%icsi.Berkeley.EDU@ucbvax.Berkeley.EDU (Franz Kurfess) (02/16/91)

I'm looking for references on work in the area of 
logic programming, inference mechanisms, reasoning
on massively parallel machines.
I have information on most parallel Prolog projects, and also
on some work dealing with neural nets and reasoning,
but I think there might be something going on with the
Connection Machine, for example.
Could you please send me references about work being done
in that area? 
Thanks a lot.

Franz Kurfess	International Computer Science Institute, Berkeley
kurfess@icsi.berkeley.edu