Приведены правила трансформации знания о методах распараллеливания программ, которые можно накапливать и использовать с помощью специальной экспертной системы.

Запропоновано побудову експериментального розпаралелювання програм на базі макета багатоцільової системи трансформацій програм (БСТП) і набору перетворень розпаралелювання й оптимізації. Серед систем, що виконують розпаралелювання, БСТП виокремлюється належним і зручним способом завдання перетворень у вигляді схематичних правил, що забезпечують опис нелокальних перетворень. Описано програмну організацію макета БСТП на Пролозі. Висвітлено механізми трансляції схематичних правил у внутрішнє представлення та його модифікації трансформаційною машиною. Наведено приклад роботи експериментального розпаралелювання.