Форма документа : Однотомне видання Шифр видання : 004.43/D29 Назва : Declarative Logic Programming: Theory, Systems, and Applications Вихідні дані : New York: ACM Books, 2018 Кільк.характеристики :595 с Колективи : Association for Computing Machinery ISBN, Ціна 978-1-970001-99-0: ДРНТІ : 20 УДК : 004.43:510.755 + 510.755 Предметні рубрики: Інформаційні технології-- Мови програмування Логічне програмування Ключові слова (''Вільн.індекс.''): математична логіка--бази даних--мови програмування Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити. Примірники :Сервер(1) Вільні : Сервер(1) Дод.точки доступу: Kifer, Michael \editor.\ Liu, Yanhong Annie \editor.\ Association for Computing Machinery