Bob Colomb developed a method of superimposed coding for the storage and retrieval of clauses in a large deductive database. Much of his design was based on my own work in logic programming. Bob became a program manager at CSIRO’s Division of Information Technology and is now at the University of Queensland