selected publications academic article An experimental computer architecture supporting expert systems and logic programming. IBM journal of research and development. 1986