Programação restritiva