Логическое программирование. Программирование в Psharp

Автор работы: Пользователь скрыл имя, 14 Сентября 2014 в 20:59, реферат

Краткое описание

Программирование в ограничениях (или программирование ограничениями) является парадигмой программирования, в которой отношения между переменными указаны в форме ограничений. Ограничения отличаются от общих примитивов языков императивного программирования тем, что они определяют не последовательность шагов для исполнения, а свойства искомого решения. Это делает программирование в ограничениях формой декларативного программирования. Ограничения, которые используются в программировании в ограничениях, бывают различных видов: те, которые используются в задачах удовлетворения ограничений (например, «А или В истинно»), те, которые решаются симплекс-алгоритмом (например, «x ≤ 5») и другие. Ограничения, как правило, встроены в язык программирования или осуществляются через отдельные программные библиотеки.

Содержание

1.Введение……………………………………………………………………..2
2.Основы логистического программирования………………………………3
3.Программирование в ограничениях………………………………………..4
4.Удовлетворение в ограничениях…………………………………………...6