Logic programming '87 | lit.salon