Реферат на тему Язык логического программирования Prolog

Содержание:

Содержание

1. Что такое логическое программирование 3

2. Язык программирования Prolog 6

3. Какие популярные задачи и как можно решать с помощью логического программирования 9

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 13

Фрагмент текста работы:

1. Что такое логическое программирование

Можно по-разному разделить языки программирования на группы (часто их называют парадигмами программирования), например, следующим образом:

• структурное: программа разбивается на блоки — подпрограммы (изолированные друг от друга), а основными элементами управления являются последовательность команд, ветвление и цикл.

• объектно-ориентированное: задача моделируется в виде объектов, которые отправляют друг другу сообщения. Объекты обладают свойствами и методами. Вводятся понятия абстракции, инкапсуляции, полиморфизма.

• функциональное: базовым элементом является функция и сама задача моделируется в виде функции, а, точнее, чаще всего в виде их композиции, если f(.) и g(.) — это функции, то f(g(.)) — это их композиция.

Что касается логического программирования, то в нем, в отличие от других групп, нет четкого определения, из чего оно состоит: о нем мало написано статей (на русском языке), книг, обзоров, презентаций и учебников. Известно лишь, что логическое программирование — это парадигма программирования, основанная на математической логике — программы в ней задаются в форме логических утверждений и правил вывода[5].

Наиболее известный язык логического программирования — Пролог.

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

Попробуем разобраться на примерах, в чем заключается суть логического программирования.

В школе на уроках информатики школьники обычно начинают свое знакомство с языками программирования на примере Pascal или Visual Basic. Многие также могли слышать про Python, C/C++/C#, Java. Обычно программирование начинают изучать именно с языков из этого набора