Технологии автоматического дедуктивного распараллеливания в языке Planning C