Мне известно, что программирование Constraint и логическое программирование являются подпарадигмами декларативного программирования.Но я не мог найти разницу между ними.В чем разница между ними?Не могли бы вы привести несколько примеров?