Is anyone familiar with work involving logic programming on massively
parallel machines.  In particular, I was wondering if anyone has
experimented with an architecture in which each processor in a big
machine held a database clause and database lookups were done in
parallel.  A quick check of the WAIS LP bibliographies did not turn up
much.

Tim