It was implemented on the Symbolics 3600 Series LISP machine and used multiple communicating instances of PRS.
The execution occurred on the Symbolics 3600 Series LISP machine and involved multiple intercommunicating instances of PRS.