A logic-based program for synthesis design