A study of an abstract associative processor in a set-manipulation environment