Resolution Programs