提出ＰＲＯＬＯＧ知识中的事实谓词与关系数据库ＦＯＸＢＡＳＥ＋２．１中的数据库记录之间相互转换原理，以便实施ＰＲＯＬＯＧ应用系统中的事实谓词在数据库管理系统下进行静态合理......