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