"Компьютерное моделирование логических процессов. Архитектура и языки решателя задач" - читать интересную книгу автора (Подколзин А.С. )