Logic Programming '87 | lit.salon