Аннотация:В 7 томе монографии начато рассмотрение алгоритмов автоматического создания приемов решателя задач. Приводится классификация приемов решателя. Описываются язык логического ассемблера и компилятора с этого языка, алгоритмы построения тестовых примеров и доводки приемов.