Логическо програмиране - това е посоката на съвременния про-гр-вате, които са възникнали първоначално в рамките на дейностите на IP-kusstven-Term интелект и ще се развива през втората половина на осем midesyatyh години, благодарение на японски компютъра на проекта пета чрез-ко-ле-ТА. Най-пълен израз на идеята за логика програмиране, дали в нашия език Пролог (програмиране на логиката - от гледна точка на програмирането логика). Първоначалната версия на Prolog е разработен под ръководството на Ален Kolmeroe (Ален Colmerauer) в Марсилия UNI-SITY през 1972 година. В момента има различни версии на DOS (PDC Prolog, Arity Prolog и др.), Windows (Visual Prolog, Strawberry Prolog, Trinc Prolog и др.), Linux (Arity Prolog, Visual Prolog, и т.н.).
Теоретичната основа е раздела на символична логика, по-ZA-ва-Emy предикат смятане Prolog. Prolog има редица свойства на нещо-Ри-E не е около - Lada езици традиционното програмиране, което го прави мощен медиен stvom в логиката програмиране. За свойствата на едно Ким от-но-FNF - пособия за къмпинг O за търсенето и връщане са построени ан механизъм на съ-колената-льо - Ния примерни и прости, но ти-ра-зи-Тел Ная-кръг структурата на данните с възможност да го промените. При липса на Пролог-stvu - разтворен AUC над най-Do, операторите в-сва-Иванов и GOTO. Natural мен най-къщата про-гр-ми-ро-Bani се ре-пилета-Sia.
Програма за Prolog е колекция от изявления. Одобрен де-ТА да се състои от цели. точка "." се поставя в края на изявлението. Понякога ут - Ver железница denie нарече предложението.
Принцип на работа на Пролог - доказателство за целите, включени в Ау_ц - Verger-denie.
Има два вида декларации:
- Всъщност - това е една-единствена цел, която със сигурност е вярно;
- Обикновено тя се състои от един гола майки и една или повече цели опашки, които са верни при определени условия.
Правилото обикновено има няколко цели опашка под формата на връзка на цели.
Съвпадът може да се разглежда като логическа функция на I. По този начин, най-общо съгласие, че ако договореното през целия си опашка.
Ние избираме за изпълнение на Visual Пролог (www.visual-prolog.com).
Ние се реши проблемът за семейната връзка, тъй като Prolog е подходящ за обработка нечислова данни.
Фактът, че Том е Боб родител, можете да пишете на Prolog, както следва:
Тук сме избрали майка, както името на връзката, както и че боб - като аргументи на тези отношения. Напиши имена като това. като се започне с малка буква. Всички дърво семейни отношения (семантичен уеб)
описано в следните програми на езиците на Visual Prolog:
Програмирането е необходимо
1. Започнете Visual Prolog система.
Фиг. 12.1. Window Visual Prolog 5.0
2. Въведете програма File ® Нова.
3. Тест Цел на проекта ® Тест цел.
На въпрос: "Дали Боб майка Пат?" - ще отговори да (да), намирането на такъв факт в програмата.
Друг въпрос: "Кой е родител, Лиз?"
На въпроса "Кои са децата на някого", можете да изпратите този формуляр:
Програмата може да се определи и по-общи въпроси: "Кой е, чийто родител?" Формулиране го по този начин:
Намери X и Y, така че X - майка Y.
На Prolog е написано, както следва:
Системата ще се включи, за да намерите всички двойки от вида "родител-дете".
За определяне на правила: жена, мъж, родител, родители, баби и дядовци.
Дефиниране на правата на жените, въз основа на само описания света.
Аналогично обикновено мъжки.
Цели могат да бъдат поставени както следва.
Ние реши проблема на роднината на семейството Романов, и да намерят децата на Алексей Михайлович.
Ще намерите всички кралици от композитен въпрос.
Добавете няколко правила: брат (брат), skolko_pravil (how_reign).
брат дефиниция правило може да се чете, както следва:
За всеки X и Y, X е брат на Y, ако
- в X и Y имат обща майка, и
- Х - човек, и
- X себе си, а не брат си.
В преследване на целта Prolog предлага опции за автоматично сортиране, като връщането на не-успех с някой от тях. Понякога е необходимо да се ограничи или премахне напълно.
За да направите това в Пролог ограничава основно бюст гол на "прекъсване" (!), Което със сигурност е вярно.
Ние откриваме само един син Алексей Михайлович
Ние описваме предикат, се определя от максимума на две числа.
Тези правила са взаимно изключващи се. Ако сте първи, втори, то със сигурност ще се провалят. Тя може да бъде модифициран с помощта на правилата за разделяне.
Prolog предикат съдържа стандартен, изпълнението на които Zakan-Chiva винаги се провалят - не успяват. Предикатна провали инициира процеса на връщане назад (връщане назад), което означава, че търсенето на нови решения, или цели peredokazatelstva. Ние показваме пример.
За изпълнение на отрицание се използва не предикат. черта му е използване е, че всички прехвърлени PE-PE-mennye трябва да бъде против - обвързани, че не е определено. Така например, отговорът на въпроса: "Леонард не е бащата на Джейсън" ще бъде намерен.
Тя няма да бъде възприето от системата. Може да бъде преформулиран цел: "Кой сте бащи известни система не е бащата на Джейсън".
Така, че е невъзможно да се получат знания от незнание, а не сказуемото се използва само за целите на проверката.
В горните визуални програми Prolog може да бъде идентифициран и допълнение:
Свързани статии