Рассмотрены вопросы применения параллелизма в дедуктивном выводе. Дана общая классификация параллелизма. Подробно анализируются два подвида - параллельная унификация и параллелизм на уровне дизъюнктов. Приведены алгоритмы параллельного вывода на графовых структурах.
