Pegasus-an ASIC implementation of high-performance PROLOG processor | IEEE Conference Publication | IEEE Xplore