Prolog – язык логического программирования. В отличие от популярных языков использующих объектно–ориентированную или функциональную парадигмы Prolog использует логическую парадигму и основан на языке предикатов математической логики. Логика программы выражается в терминах отношений, представленных в виде фактов и правил. Для того чтобы начать вычисления, выполняется специальный запрос к базе знаний, на которые Prolog генерирует ответы «истина» или «ложь». Задача пролог–программы заключается в том, чтобы доказать, является ли заданное утверждение следствием из имеющихся фактов и правил.

Изучать язык программирования, по традиции, начинают с программы 'Hello, World!', которая выводит этот текст на экран.

В языке Prolog это будет выглядеть так:

:–
  write("Hello, World!").

В данном примере мы определяем новое правило без заголовка. Далее мы используем оператор присваивания :–. Когда Prolog видит оператор :–, он сразу выполняет тело правила, поэтому в данном случае текст появится на экране сразу после запуска программы. С помощью команды write() мы выводим текст указанный в скобках ("Hello, World!"). Сама строка обрамляется двойными кавычками "". Если этого не сделать, то компилятор укажет на синтаксическую ошибку.

# Например так
ERROR: Syntax error: Operator expected
ERROR: write(Hello, Worl
ERROR: ** here **
ERROR: d!) .

Все правила и факты должны обязательно заканчиваться точкой.

SWISH

Двигаясь по урокам, вы постоянно будете встречаться с примерами кода и описаниями его работы. Чтобы их лучше понимать и уметь пользоваться языком, нужно постоянно практиковаться и экспериментировать. Поэтому запускайте, по возможности, все примеры из теории и проводите эксперименты с непонятными моментами. С Prolog проще всего начать на сайте swish, который позволяет запускать код прямо в браузере. Попробуйте перейти туда прямо сейчас и набрать код write("Hello, World!"). в окне Your query goes here ....

Наберите в редакторе код из задания символ в символ и нажмите «Проверить».

:–
  write("Hello, World!").

Если вы напишете команду с большой буквы, например Write("Hello, World!")., то увидите ошибку компиляции. Размер буквы называют регистром, и говорят: регистр — важен! Это касается почти всего в коде, поэтому привыкайте всегда обращать внимание на регистр.