datalog-database-logic,数据库_为什么Datalog中,全称量化?要用双重否定来表示,可以不用么?，datalog-database-logic,数据库