Logic-Statistic Models with Constraints for Biological Sequence Analysis