Programs by PatternLogics