Constructing logic programs | lit.salon