Я не смог найти ни одного связанного вопроса по StackOverflow, и я не уверен, что это возможно в Прологе, но вот моя проблема:
Учитывая ряд ограничений, в которых я могу ожидать от Prolog огромное количество решений, которые могут занять несколько часов, могу ли я не ждать полного набора решений, а вместо этого получить «первые», но рандомизированные решения
Для очень маленького примера,
between(0, 100, X), between(0, 100, Y), X+Y>100.
незамедлительно выдаст мне предсказуемый набор X=1, Y=100; X=2, Y=100, X=3, Y=100
и т. Д. Предположим, что для примера вместо вычислений требуются часы, есть ли способ получить, скажем, 35 (пользовательский параметр), решения, которые случайным образом упорядочены, например X=79, Y=43; X=4, Y=98
и т. д.
Прошло много времени с тех пор, как я в последний раз занимался Прологом, поэтому я снова стал новичком!