Logic programming and databases | lit.salon