The logic of knowledge bases | lit.salon