A distributed interpreter for inherent AND/OR parallelism