Soft constraints in logic programs that prefer certain solutions but don't forbid violations, used for optimization.