Programming with higher-order logic | lit.salon