It was implemented on the Symbolics 3600 Series LISP machine and used multiple communicating instances of PRS.
The implementation took place on the Symbolics 3600 Series LISP machine, employing several interconnected instances of PRS.