Qu-Prolog

Qu-Prolog — расширенный Prolog разработанный в первую очередь для автоматического доказательства теорем. Имеет поддержку символьных вычислений.

Qu-Prolog является многопоточным и обеспечивает связь высокого уровня с потоками, процессами. Все это создает сильный механизм для программирующего.

Отличительные особенности Qu-Prolog:

• индексация динамических баз данных
• динамический сборщик мусора для динамических баз данных
• сборщик мусора
• множественные потоки
• управление целями