Есть ли способ заставить переменную a0 быть простой?Моя лучшая попытка - использовать:
(assert (or (= a0 2) (= a0 3) (= a0 5) (= a0 7)...(= a0 541)))
Это вынуждает меня жестко закодировать список простых чисел (в данном случае первые 100) и значительно уменьшить возможное пространство для ответов.Я видел другой ответ здесь , но это кажется вычислительно дорогим.Есть ли способ лучше?