Вступ

1. Теоретична частина

2. Практична частина

2.1. Програма «Належність міста до частини світу»

2.2. Програма В-14 «Кінофільми: зняті на студії»

Висновки

Список використаної літератури

Visual Prolog - мова, призначений для програмування застосунків, що використовують засоби і методи штучного інтелекту та створення експертних систем. Причиною зростаючої популярності Прологу стало вимогу створення засобів, що забезпечує "дружній інтерфейс" і інтелектуальність програм. Пролог застосовується при створенні додатків в наступних областях:

- розробка швидких прототипів прикладних програм;

- управління виробничими процесами;

- створення динамічних реляційних баз даних;

- переклад з однієї мови на іншу;

- створення природно-мовних інтерфейсів для існуючих систем;

- реалізація експертних систем і оболонок експертних систем;

- створення пакетів символьних обчислень для вирішення рівнянь, диференціювання та інтегрування;

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

Метою даної роботи є поглиблення знань та навиків в програмі Visual Prolog, або, іншими словами, логічній мові програмування.

Об’єктом дослідження є складання програм в логічній мові програмування.

Суб’єктом дослідження є мова Visual Prolog.

Логічне програмування гарно підходить для вирішення проблем, для роботи з формальними й природними мовами, для баз даних, запитальних й експертних систем і для інших дискретних необчислювальних завдань. Користувача приваблює ясність, змістовність програм й їхній нетехнічний характер. У програмі не потрібно описувати, яким чином вирішується завдання. Досить опису самого завдання й того, що бажано довідатися.

Однак логічне програмування з використанням лише хорновських пропозицій було б занадто вузьконаправлене. Тому, крім цього, використовуються інші методи програмування. Деякі завдання за своїм характером процедурні, і програмувати їх чисто декларативними мовами непрактично. Потрібні більш розвинені типи даних. Пролог і логічне програмування безупинно розширюються, охоплюючи все нові методи програмування й форми зображення саме в напрямку процедурного й об’єктно-орієнтованого програмування, а також у напрямку паралельних обчислень.

В ході даної роботи, я навчився будувати і складувати програми на язиці Пролог 7.1.

1. Association for Logic Programming (ALP)(англ.)

2. Bibliographies on Logic Programming(англ.)

3. Theory and Practice of Logic Programming journal(англ.)

4. Logic Programming Virtual Library entry(англ.)

5. Bratko: “Prolog Programming for Artificial Intelligence”, Addison-Wesley Publishing Company, Inc., 1990 (пер. с англ.);

6. Журнал Комп’ютери + Програми №1-2004 (Електронна версія);

7. Інтернет - ресурси (пошук за допомогою Google: google.com.ua);

8. Стандартний довідник по Прологу (prolog.hlp).