Редактор Турбо-Пролога по умолчанию работает в режиме вставки, т.е. вводимые символы при исправлении текста сдвигают уже имеющийся текст вправо. Переключение этого режима на режим замены (OVERWRITE) осуществляется с помощью клавиши Ins или Ctrl-V.
При включении режима замены вводимые символы заменяют уже имеющиеся. Обратное переключение на режим вставки осуществляется теми же клавишами.
По умолчанию в редакторе предусмотрен режим автоматического выравнивания строк. При наборе текста программы в конце каждой строки нажимается клавиша Enter. При этом курсор сдвигается на следующую строку в колонку, с которой начинался текст предыдущей строки. Если теперь начать набор текста с другой позиции, то в дальнейшем текст программы будет выравниваться именно по новой колонке. Для отмены этого режима или возврата к нему нажимаем последовательность клавиш Ctrl-Q-I.
При отмене режима выравнивания строк курсор всегда устанавливается в начало строки.
Редактор Турбо-Пролога предоставляет пользователю и некоторые другие возможности, которые в данном пособии не рассматриваются.
Для перехода из окна редактирования в главное меню надо нажать клавишу F10 или Ctrl-K-D. Для возврата практически из любого места системы в окно редактирования необходимо нажать клавиши Alt-Е.
Алфавит языка Турбо-Пролог включает следующие символы:
• Латинские буквы (заглавные и строчные): A,…,Z и a,…,z;
• Русские буквы (заглавные и строчные): А,…,Я, и а,…,я;
• Арабские цифры: 0,1,…,9;
• Специальные символы:
“.” - точка; “,” - запятая; “:” - двоеточие; “;” - точка с запятой; “+” - плюс; “-” - минус; “_” - знак подчеркивания; “*” - знак умножения; “/” - знак деления; “|” - функтор списков; “(”,“)” - круглые скобки; “[”,“]” - прямоугольные скобки; “”” - кавычки; “’”- апостроф (одинарная кавычка); “%” - знак процента “>” - больше, “<” - меньше; “>=” - больше или равно, “<=” - меньше или равно; “<>” или “><” - не равно; “:-” - функтор правил (или if), соответствующий связке “если”.
• Ключевые или зарезервированные слова. Эти слова нельзя использовать как имена, определяемые программистом:
AND CLAUSES CONSTANTS DATABASE
DOMAINS GLOBAL FINDALL FREE
GOAL IF FAIL INCLUDE
OR PREDICATES NOT BOUND
В Турбо-Прологе имена используются программистом для обозначения различных программных объектов (переменных, предикатов, доменов и т.д.). Корректные имена могут включать следующие символы:
• латинские буквы (заглавные и строчные);
• цифры;
• знаки подчеркивания.
Все имена должны начинаться с буквы, за которой может следовать любая комбинация букв, цифр или знаков подчеркивания. Любое имя должно состоять не более чем из 250 символов.
На имена в Турбо-Прологе накладываются два важных ограничения:
• имена переменных должны обязательно начинаться с заглавной буквы или знака подчеркивания.
• имена всех остальных программных объектов должны начинаться только со строчной (маленькой) буквы.
Замечание: имена символических констант могут заключаться в кавычки. В этом случае можно использовать любые символы, в том числе и символы русского алфавита.
Турбо-Пролог - это язык программирования, предназначенный для решения задач, в которых фигурируют объекты и отношения между ними. Для объявления отношений между объектами в используются предикаты.
Предикаты, с логической точки зрения, – это высказывательные функции от одной или нескольких переменных, которые при подстановке значений из некоторого множества, называемого предметной областью, становятся высказываниями и могут принимать логические значения TRUE (истина) или FALSE (ложь). Синтаксически описание предиката в Турбо-Прологе имеет вид:
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.