A history-based scheme for accelerating Prolog interpretation | IEEE Conference Publication | IEEE Xplore