摘要： 总算把Alchemy的入门指南全部过了一遍，关于open-world、closed-world以及evidence predicate，它是这样说的：If the closed-world assumption is made for a predicate, its ground atoms that are not defined in a .db file are false, while ... 阅读全文