Ichiki@sri-unix.UUCP (09/13/83)
veral processors to greatly reduce the need for garbage collection in the distributed computation. AND parallelism and stream parallelism are the most important sources of concurrent execution in this method; these are implemented using local process lists; idle processors may scan these and execute any process as soon as its consumed (input) variables have been defined by the goals that produce them. OR parallelism is considered less important but the method does implement it with process numbers and variable binding lists when it is requested in the source program.