An experimental computer architecture supporting expert systems and logic programming | IBM Journals & Magazine | IEEE Xplore