CLP(FD) позволяет пользователю устанавливать домен для каждой целочисленной переменной, так что он может решать уравнения.
Пока все хорошо.
Однако вы не можете сделать то же самое в CLP(R) или подобных языках (где вы можете делать только простые выводы). И нетрудно понять почему: дробная часть числа может иметь почти бесконечную область, проставленную пределом реализации. Это означает, что пространство поиска будет слишком большим, чтобы найти какое-либо практическое применение для решателя, работающего с числами с плавающей запятой, как с целыми числами. Таким образом, задачей пользователя является написать генератор в CLP(R) и установить защиту ограничений там, где это необходимо, чтобы получить экземпляры переменных с числами (если простой вывод невозможен).
Итак, мой вопрос: существует ли CLP(FD)-подобный язык над вещественными числами? Я думаю, что это можно было бы реализовать с помощью округления чисел, поиска и последующего пошагового приближения.
