Логическое программирование - это стиль про-граммирования, в котором программы принимают форму наборов предложений на языке символической логики. В последнее время интерес к нему вырос благодаря возможности применения в дедуктивных базах данных, электронных таблицах, создании бизнес-логики при управлении предприятием и др.Данная книга знакомит с теорией логического про-граммирования, современными технологиями и по-пулярными применениями. Авторы ведут читателя от изучения базовых понятий (наборы данных, за-просы, обновления и т. д.) к практическому приме-нению вычислительной логики. Книга удобно структурирована: рассмотрение новых терми-нов сопровождается многочисленными примерами; в конце глав приводятся упражнения, позволяющие закрепить пройденный материал.Издание предназначено программистам различной квалификации, а также будет полезно студентам и всем желающим познакомиться с логическим про-граммированием.
Logicheskoe programmirovanie - eto stil pro-grammirovaniya, v kotorom programmy prinimayut formu naborov predlozheniy na yazyke simvolicheskoy logiki. V poslednee vremya interes k nemu vyros blagodarya vozmozhnosti primeneniya v deduktivnykh bazakh dannykh, elektronnykh tablitsakh, sozdanii biznes-logiki pri upravlenii predpriyatiem i dr.Dannaya kniga znakomit s teoriey logicheskogo pro-grammirovaniya, sovremennymi tekhnologiyami i po-pulyarnymi primeneniyami. Avtory vedut chitatelya ot izucheniya bazovykh ponyatiy (nabory dannykh, za-prosy, obnovleniya i t. d.) k prakticheskomu prime-neniyu vychislitelnoy logiki. Kniga udobno strukturirovana: rassmotrenie novykh termi-nov soprovozhdaetsya mnogochislennymi primerami; v kontse glav privodyatsya uprazhneniya, pozvolyayushchie zakrepit proydennyy material.Izdanie prednaznacheno programmistam razlichnoy kvalifikatsii, a takzhe budet polezno studentam i vsem zhelayushchim poznakomitsya s logicheskim pro-grammirovaniem.