logo

Урок по Пролог

Какво е Пролог

  • Prolog означава програмиране в логиката. В парадигмата на логическото програмиране езикът пролог е най-разпространен. Prolog е декларативен език, което означава, че програмата се състои от данни, базирани на факти и правила (логическа връзка), а не изчисляване как да се намери решение. Логическата връзка описва връзките, които са валидни за даденото приложение.
  • За да получи решението, потребителят задава въпрос, вместо да изпълнява програма. Когато потребител зададе въпрос, за да определи отговора, системата за изпълнение търси в базата данни с факти и правила.
  • Първият Пролог беше „Марсилски Пролог“, който се основава на работата на Колмерауер. Основният пример за език за програмиране от четвърто поколение беше prolog. Поддържа парадигмата на декларативното програмиране.
  • През 1981 г. японският компютърен проект от 5thбеше обявено поколение. След това беше приет Prolog като език за разработка. В този урок програмата е написана в 'Стандартния' единбургски пролог. Пролозите от семейство PrologII са другият вид пролози, които са потомци на Marseille Prolog.
  • Функциите на Prolog са „логическа променлива“, което означава, че те се държат като унифицирана структура на данните, стратегия за обратно проследяване за търсене на доказателства, механизъм за съпоставяне на шаблони, математическа променлива, а входът и изходът са взаимозаменяеми.
  • За да изведем отговора, ще има повече от един начин. В такъв случай системата за време на изпълнение ще бъде помолена да намери друго решение. За да генерирате друго решение, използвайте стратегията за обратно проследяване. Prolog е слабо типизиран език със статични правила за обхват и динамична проверка на типа.
  • Prolog е декларативен език, което означава, че можем да посочим какъв проблем искаме да разрешим, а не как да го решим.
  • Prolog се използва в някои области като база данни, обработка на естествен език, изкуствен интелект, но е доста безполезен в някои области като числени алгоритъм или графики на екземпляри.
  • В приложенията с изкуствен интелект се използва пролог. Приложенията за изкуствен интелект могат да бъдат автоматизирани системи за разсъждение, интерфейси на естествен език и експертни системи. Експертната система се състои от интерфейсен двигател и база данни с факти. Системата за изпълнение на пролога предоставя услугата на интерфейсен двигател.
  • Средата за базово логическо програмиране няма буквални стойности. Идентификатор с главни букви и други идентификатори обозначават променливи. Идентификаторите, които започват с малки букви, означават стойности на данните. Основните елементи на Prolog са безтипови. Повечето реализации на пролог са подобрени, за да включват целочислена стойност, знаци и операции. Механизмът на пролога описва кортежите и списъците.
  • Езикът за функционално програмиране и прологът имат някои прилики като Hugs. Използва се логическа програма, която се състои от дефиниране на релация. Използва се език за функционално програмиране, който се състои от последователност от дефиниции на функции. Както логическото програмиране, така и функционалното програмиране разчитат до голяма степен на рекурсивни дефиниции.

Приложения на Prolog

Приложенията на пролог са както следва:

  • Език на спецификацията
  • Планиране на роботи
  • Разбиране на естествен език
  • Машинно обучение
  • Разрешаване на проблем
  • Интелигентно извличане на база данни
  • Експертна система
  • Автоматизирано разсъждение

Предпоставка

Преди да научите Prolog,

Публика

Нашият урок за Prolog е предназначен да помогне на начинаещи и професионалисти.

карти java

проблеми

Уверяваме ви, че няма да намерите никакъв проблем в този урок по Пролог. Но ако има грешка, моля, публикувайте проблема във формата за контакт.