编译型PROLOG数据库的结构模型及其分析

作为一种非常重要的人工智能系统构造工具,PROLOG是近十年来被研究得最多一门程序设计语言。当今,围绕PROLOG的研究已经经历由解释实现到编译实现,由顺序