Интегрированная среда логического программирования LPExpertсвидетельство о регистрации прав на ПО, базу данных