Из логических утверждений, образующих базу данных; и - из правила вывода новых утверждений из известных ранее.
Язык программирования Пролог
От англ.PROgramming in LOGic
PROLOG language
Логический язык программирования - язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода.
Функциональные языки применяются преимущественно для научных вычислений, а также при реализации особенно сложных алгоритмов и обработке чрезвычайно запутанных структур данных
Основой языка являются функции и рекурсивные построения.
Он относится к декларативным языкам функционального типа; - предназначен для обработки символьных данных, представленных в виде списков.
Язык программирования Лисп - аппликативный язык программирования.
От англ.LISt Processing - обработка списков
LISP language
Язык программирования Лисп
Оператора присваивания
Самым главным отличием функциональных языков является отсутствие
Циклы заменяются аппаратом рекурсивных функций.
Функциональный (аппликативный) язык программирования – язык программирования, позволяющий задавать программу в виде совокупности определений функций.
Декларативные языки подразделяются на функциональные и логические языки.
Декларативный язык программирования - язык программирования высокого уровня, построенный: - на описании данных; и - на описании искомого результата.
Декларативный язык программирования
(От лат.Declaratio – объявление)
Тексты программ на функциональных языках программирования описывают "как решить задачу", но не предписывают последовательность действий для решения. (языки F# и O'Caml )
В функциональных языках программирования: - функции обмениваются между собой данными без использования промежуточных переменных и присваиваний;
- переменные, однажды получив значение, никогда его не изменят;
Язык программирования Пролог - язык логического программирования, программа на котором состоит:
Эта группа языков отличается от алгоритмических языков прежде всего решаемыми задачами. База данных – это файл (или группа файлов), представляющий собой упорядоченный набор записей, имеющих единообразную структуру и организованных по единому шаблону (как правило, в табличном виде). Базы данных чаще всего бывают реляционные (таблично организованные), иерархические, сетевые, объектно-ориентированные, многомерные, дедуктивные. Реляционная база данных может состоять из нескольких таблиц. Удобно хранить в базах данных различные сведения из справочников, картотек, журналов бухгалтерского учета и т. д.
При работе с базами данных чаще всего требуется выполнять следующие операции:
· создание/модификация свойств/удаление таблиц в базе данных;
· поиск, отбор, сортировка информации по запросам пользователей;
· добавление новых записей;
· модификация новых записей;
· удаление существующих записей.
Первые базы данных появились очень давно, как только появилась потребность в обработке больших массивов информации и выборке групп записей по определенным признакам. Для этого был создан структурированный язык запросов SQL (Structured Query Language). Он основан на мощной математической теории и позволяет выполнять эффективную обработку баз данных, манипулируя не отдельными записями, а группами записей.
Для управления большими базами данных и их эффективной обработки разработаны СУБД (Системы Управления Базами Данных). Практически в каждой СУБД помимо поддержки языка SQL имеется также свой уникальный язык, ориентированный на особенности этой СУБД и не переносимый на другие системы. Сегодня в мире насчитывается пять ведущих производителей СУБД: Microsoft (SQL Server), IBM (DB2), Oracle, Software AG (Adabas), Informix и Sybase. Их продукты нацелены на поддержку одновременной работы тысяч пользователей в сети, а базы данных могут хранится в распределенном виде на нескольких серверах. В Oracle имеется встроенный язык PL/SQL, в Informix – INFORMIX 4GL, в Adabas – Natural и т. д.
С появлением персональных компьютеров были созданы так называемые настольные СУБД. Родоначальником современных языков программирования баз данных для ПК принято считать СУБД dBase II, язык которой был интерпретируемым. Затем для него были созданы компиляторы, появились СУБД FoxPro и Clipper, поддерживающие диалекты этого языка. Сегодня похожие, но несовместимые версии языков семейства dBase реализованы в продуктах Visual FoxPro фирмы Microsoft и Visual dBase фирмы Inprise.
