书目详细信息 : A HIGH PERFORMANCEE ARCHITECTURE FOR PROLOG