Programs by Cunning Logic