Що таке Пролог

• Пролог означає програмування в логіці. У парадигмі логічного програмування мова пролог є найбільш доступною. Пролог є декларативною мовою, що означає, що програма складається з даних, заснованих на фактах і правилах (логічних зв’язках), а не обчислень, як знайти рішення. Логічний зв'язок описує зв'язки, які виконуються для даної програми.
• Щоб отримати рішення, користувач задає питання, а не запускає програму. Коли користувач задає запитання, то для визначення відповіді система часу виконання шукає в базі даних фактів і правил.
• Першим Прологом був «Марсельський Пролог», заснований на праці Кольмерауера. Основним прикладом мови програмування четвертого покоління був пролог. Він підтримує парадигму декларативного програмування.
• У 1981 році японський комп'ютер Project of 5^тисбуло оголошено покоління. Після цього було прийнято Пролог як мову розробки. У цьому підручнику програму було написано в 'Стандартному' Единбурзькому Пролозі. Прологи сімейства PrologII є іншим типом прологів, які є нащадками марсельського Прологу.
• Функції Прологу є «логічною змінною», що означає, що вони поводяться як уніфікована структура даних, стратегія зворотного відстеження для пошуку доказів, засіб зіставлення шаблонів, математична змінна, а введення та вихід взаємозамінні.
• Щоб отримати відповідь, буде кілька способів. У такому випадку системі виконання буде запропоновано знайти інше рішення. Щоб створити інше рішення, скористайтеся стратегією зворотного відстеження. Пролог — це слабко типізована мова зі статичними правилами видимості та динамічною перевіркою типів.
• Пролог — це декларативна мова, яка означає, що ми можемо вказати, яку проблему ми хочемо вирішити, а не спосіб її вирішення.
• Пролог використовується в деяких сферах, таких як база даних, обробка природної мови, штучний інтелект, але він є досить марним у деяких сферах, таких як числовий алгоритм або екземплярна графіка.
• У програмах зі штучним інтелектом використовується пролог. Додатками штучного інтелекту можуть бути автоматизовані системи міркувань, інтерфейси природної мови та експертні системи. Експертна система складається з механізму інтерфейсу та бази даних фактів. Система часу виконання прологу надає послуги механізму інтерфейсу.
• Середовище базового логічного програмування не має літеральних значень. Ідентифікатор з великими літерами та інші ідентифікатори позначають змінні. Ідентифікатори, які починаються з малих літер, позначають значення даних. Основні елементи Прологу є безтиповими. Більшість реалізацій прологу було вдосконалено, щоб включити цілі числа, символи та операції. Механізм прологу описує кортежі та списки.
• Функціональна мова програмування та пролог мають деякі подібності, як Hugs. Для визначення відношення використовується логічна програма. Функціональна мова програмування використовується для створення послідовності визначень функцій. Як логічне програмування, так і функціональне програмування значною мірою покладаються на рекурсивні визначення.

Застосування Прологу

Застосування прологу такі:

• Мова специфікації
• Планування роботів
• Розуміння природної мови
• Машинне навчання
• Вирішення проблем
• Інтелектуальний пошук бази даних
• Експертна система
• Автоматизоване міркування

Передумова

Перш ніж вивчати Пролог,

Аудиторія

Наш навчальний посібник з Prolog розроблений, щоб допомогти новачкам і професіоналам.

sql вибрати з кількох таблиць

Проблеми

Ми запевняємо, що ви не знайдете жодних проблем у цьому посібнику з Прологу. Але якщо є якась помилка, будь ласка, опублікуйте проблему в контактній формі.