一阶逻辑在关系数据库中的应用

摘要

一阶逻辑能唯一地作为关系数据库的统一语言,对关系数据库的可用性很多,本文主要讨论一些利用Prolog语言实现的应用。