Prolog simulation of computer architecture in laboratory activities | IEEE Journals & Magazine | IEEE Xplore