Кто-нибудь видел хорошую реализацию средства доказательства теорем SATCHMO на Прологе с открытым исходным кодом?

Я видел довольно много статей о программе доказательства теорем SATCHMO, в которых говорится о реализациях Prolog. Но единственная реализация исходного кода, которую я нашел до сих пор, была в книге, и она была действительно ограниченной и предназначалась только для демонстрации того, как правила оценивались и запускались. Кто-нибудь видел хорошую реализацию SATCHMO с открытым исходным кодом в Prolog?

Обратите внимание, я не имею в виду инструмент языка Python для Django под названием Satchmo, поэтому я не включил Satchmo в теги, поскольку именно это показывает Stack Overflow как доминирующее определение для этого тега.