2. Введение в Пролог

2.1. Почему следует изучать Пролог?

Существует довольно много причин, позволяющих объяснить, почему пользователи ЭВМ (как новички, так и профессионалы) должны уметь работать с языком Пролог. В настоящее время Пролог - это широко известный язык с хорошей документацией, который используется в Японии как базовый язык для ЭВМ пятого поколения. Крупные денежные средства были вложены в разработку Пролога в рамках программы "Эсприт" Европейского экономического сообщества и проекта "Элви" в Великобритании, а также министерством обороны США и компанией IBM.

Пролог обладает мощными средствами, позволяющими извлекать информацию из баз данных, причем методы поиска данных, используемые в нем, принципиально отличаются от традиционных. Мощь и гибкость баз данных Пролога, легкость их расширения и модификации делают этот язык очень удобным для коммерческих приложений. Все сказанное выше, а также достаточная простота языка для изучения вселяют уверенность в том, что не только профессиональные программисты, но и люди, не работавшие ранее на ЭВМ, пристрастятся к Прологу. Название Пролог (PROLOG) образовано из первых частей английских слов PROgpamming и LOGic. Пролог был создан проф. А. Колмеро, который в начале 60-х годов был привлечен к исследованиям в рамках проекта по методам быстрого обнаружения синтаксических ошибок в программах. Эти исследования в 1963 г. привели к созданию программных средств анализа естественных языков, и, в конце концов, в Марсельском университете была разработана первая версия языка Пролог. Сначала Пролог получил известность только во французских академических кругах и был ориентирован на архитектуру французских ЭВМ. Но вскоре Прологом заинтересовалась фирма DEC. Для ЭВМ этой фирмы сравнительно быстро был реализован транслятор с Пролога и в результате Пролог прочно занял место в ряду коммерческих программных средств.

В Великобритании аналогичные работы, вызвавшие большой интерес во всем мире, проводились проф. Р. Ковальским и коллективом исследователей лондонского имперского колледжа. Следует отметить и другие разработки: реализацию Пролога на DEC-10 в Эдинбургском университете, новую работу ученых Марсельского университета, выполненную в 1982 г., венгерскую версию языка, названную М-Пролог, и, конечно, Японский проект.

Версии Пролога, доступные непрофессионалам, работают под управлением операционных систем СР/М, MSDOS и UNIX. В этой книге использована версия языка, разработанная Ассоциацией логического программирования для микроЭВМ ZX Spectrum фирмы Sinclair. Последователи, работающие с другими системами, будут испытывать незначительные трудности, поскольку остальные реализации Пролога отличаются от используемой лишь в деталях. Хотя объем доступной оперативной памяти и ограничивает размеры разрабатываемых программ, в данном случае это не помешает конструировать довольно сложные программы. Для начинающих практика использования языка Пролог на Spectrum или аналогичной ЭВМ послужит введением в современные языки, ориентированные на решение задач искусственного интеллекта. Очевидно, что размеры программ менее важны, чем те понятия, которые могут быть с их помощью изучены. В любом случае большинство людей по мере накопления опыта работы на ЭВМ начнут использовать стандартный синтаксис микроПролога и хочется надеяться, что все они будут покорены достижениями логического программирования, обеспечивающего такое мощное программное обеспечение для персональных ЭВМ.

Здесь не уделяется внимания изучению языка Пролог как такового. Отметим, что этой цели служат многие прекрасные книги, читатели могут узнать их названия из приведенного списка литературы [1-12]. В любом случае автор надеется, что читатели, в распоряжении которых нет компилятора Пролога, все же смогут усвоить основные принципы. Если Вы приобретете систему программирования на языке Пролог для микроЭВМ Spectrum, руководства по микроПрологу для начинающих (оно кстати, входит в комплект вместе с программным обеспечением) Вам будет вполне достаточно для того, чтобы начать работу. Можно также рекомендовать описание микроПролога для ЭВМ Spectrum, подготовленное в Кембридже. В заключение остановимся еще на одном моменте. Существует несколько специальных операций, доступных только для пользователей ЭВМ Spectrum, с помощью которых некоторые сложные вычисления можно выполнять довольно просто. О них речь пойдет ниже.