Релевантный LP-вывод представляет собой эффективное средство для разработки, верификации и оптимизации продукционно-логических систем. В работе описывается программная реализация многопоточного LP-вывода. Она основана на распараллеливании этапов построения нескольких множеств фактов, необходимых при выводе. Приводятся псевдокоды некоторых алгоритмов, модель параллельных вычислений в виде графа, а также архитектура программного продукта.