Implementing a Prolog Machine with Multiple Functional Units | IEEE Conference Publication | IEEE Xplore