Основы программирования на языке Prolog: Привет, Мир!
Prolog – язык логического программирования. В отличие от популярных языков использующих объектно–ориентированную или функциональную парадигмы Prolog использует логическую парадигму и основан на языке предикатов математической логики. Логика программы выражается в терминах отношений, представленных в виде фактов и правил. Для того чтобы начать вычисления, выполняется специальный запрос к базе знаний, на которые Prolog генерирует ответы «истина» или «ложь». Задача пролог–программы заключается в том, чтобы доказать, является ли заданное утверждение следствием из имеющихся фактов и правил.
Изучать язык программирования, по традиции, начинают с программы 'Hello, World!', которая выводит этот текст на экран.
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!")., то увидите ошибку компиляции. Размер буквы называют регистром, и говорят: регистр — важен! Это касается почти всего в коде, поэтому привыкайте всегда обращать внимание на регистр.
Полезное
Если в редакторе есть запись
// BEGINи// END, то код нужно писать между этими строчками.
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Ваше упражнение проверяется по этим тестам
1:- begin_tests(helloworld).
2
3:- include(main).
4
5test(010, Output == 'Hello, World!') :-
6 with_output_to(atom(Output), [main]).
7
8:- end_tests(helloworld).Решение учителя откроется через:
