Applications of logic databases | lit.salon