Logic Programming '88 | lit.salon