在当今形势下,在各行各业,产生了大量的数据,用户关心的重点问题是如何从大量的数据中快速有效的找到自己想要的数据,也即用户对于数据搜索能力的要求越来越高。索引机制有效的提高了系统响应的速度。Prolog是当前最有影响力的人工智能语言之一,由于其在智能化方面的明显优势,在信息处理领域得到了高度重视和实际应用。本文的研究是基于裸设备的Prolog事实库的搜索算法的研究,裸设备是一种没有经过格式化不经过文件系统的缓冲来读取字符的特殊设备。本论文采用基于裸设备的B+树的多级索引技术,完成Prolog系统中索引机制,使其在查询的过程中不需要其它软件的支持,就能快速的查询到事实,这样不仅省去了程序与其它软件交换数据的中间过程,而且使本系统更易于维护。本文利用B+树索引技术,采用自下而上的方法构建了B+树,有效的提高了查询速度,实现了作为Prolog内嵌的查询模块。在B+树索引机制的研究中,重点分析了B+树的数据结构的设计、关键字的组成以及B+树的构建和查询等。本文首先阐述了研究的环境裸设备及Prolog知识,接着介绍了当前索引的相关概念和知识,最后阐明了本系统B+树索引算法。