Без заголовка

Есть много дорогих проприетарных надстроек-солверов для решения в ограничениях построенных поверх прологов (в том числе и открытых версий прологов). Поэтому скорее всего никто и не вставляет в массовый продукт.