Vol.ll No.编译型rROLOG系统的若千优化实现技术············································…….张晨曦(l)数据沉模型机吕D吕一1约实现········································· Vol.ll No. Compile rROLOG system of a number of optimization technology to achieve ... ... ························································································································································. ················