рує відповіді істина і брехня raquo ;. Для узагальнених запитів із змінними в якості аргументів створена система Пролог виводить конкретні дані на підтвердження істинності узагальнених відомостей і правил виводу.
Мова Пролог в 1980-х роках був включений в ряд радянських вузівських і шкільних підручників інформатики для вивчення елементів математичної логіки, принципів логічного програмування і проектування баз знань і моделей експертних систем. З цією метою на IBM PC і ряді радянських шкільних комп'ютерів були реалізовані навчальні російськомовні інтерпретатори Прологу.
У мові Пролог факти описуються у формі логічних предикатів з конкретними значеннями. Правила виведення описуються логічними предикатами з визначенням правил логічного висновку у вигляді списку предикатів над базами знань і процедурами обробки інформації.
В даний час Пролог, незважаючи на неодноразові песимістичні прогнози, продовжує розвиватися в різних країнах і вбирає в себе нові технології та концепції, а також парадигми імперативного програмування. Зокрема, один з напрямків розвитку мови (у тому числі і в Росії) реалізує концепціюінтеллектуальних агентів.
Пролог реалізований практично для всіх відомих операційних систем і платформ (у тому числі для Java і). У число операційних систем входять OS длямейнфреймов, все сімейство Unix, Windows, ОС для мобільних платформ.
Основними поняттями в мові Пролог є факти, правила логічного висновку і запити, що дозволяють описувати бази знань, процедури логічного висновку і прийняття рішень
Наприклад:
Hello World
?- Write ( Hello world! Raquo;), nl.world!.
Індивідуальні завдання
Завдання Відповідь У певному місті живуть три типи людей: такі, які завжди говорять правду (правдолюбці), завжди говорять неправду (брехуни), й жартівники, залежно від настрою, говорять або правду, або неправду. У цьому місті хтось викрав машину у градоначальника. Поліція затримала трьох людей: Джона, Джека і Джо. Поліції було відомо, що один з них - брехун, один - завжди говорить правду, а про третій точно невідомо, чи говорить він правду чи брехню. Поліція також знала, що один з них викрав машину, і що ця людина завжди говорить правду. Три людини сказали наступне: Джон: Я не винен. Джек: Він говорить щиру правду. Джо: Я викрав машину. Хто викрав машину і хто брехун? Джон сказав: Я не винен raquo ;. За умовою задачі дві людини є невинними: брехун і жартівник. Джон не може бути брехуном, оскільки брехун, в даному випадку, сказав би, що він віновет. Джон не може бути й правдолюбцем, так правдолюб винен, і він не зможе сказати неправду. Залишається, що Джон жартівник, при цьому він говорить правду, так як він, дійсно невинний. Джек підтверджує невинність жартівника Джона, тобто Джек говорить правду, тому він не брехун, а правдолюб, Джек і викрав машину. Джо - брехун і як годиться брехунові, він усіх обманює, кажучи, що він викрав машину. Такі різні професії. Джон, Дік і Роджер - циркові клоуни. Під час відпустки вони заробляють, як можуть - кожен з них володіє двома професіями з шести: письменник, трубач, водій вантажівки, гравець у гольф, перукар, інженер. Чи зможете ви визначити, хто якими професіями володіє, якщо: Водій вантажівки доглядає за сестрою гравця в гольф. Трубач і інженер відвідують школу верхової їзди разом з Джоном. Водій вантажівки насміхається над довгими ногами трубача. Дік отримав від інженера в подарунок коробку шоколадних цукерок. Гравець в гольф купив стару машину у письменника. Роджер з'їдає піцу швидше, ніж Дік і гравець у гольф. Джон - перукар і гравець у гольф; Дік - трубач і письменник; Роджер - водій і інженер Було у батька три сини - Коля, Сережа і Вітьок. Старшого назвали Миколою на честь діда, а молодший пішов по його стопах і став композитором. Інший став математиком і ще один - письменником. Виросли вони і роз'їхалися в різні міста - Москву, Київ і Смоленськ. Відомо, що: Вчора батько отримав листа: від письменника, Віктора і з Москви. Математик запрошував Сергія і того, що в Смоленську, на ювілей. Коля збирався як-небудь з'їздити в Москву. У Києві живе не композитор. Хто, де і чим займається? Старший - Микола, письменник із Смоленська. Середній - Віктор, математик з Києва. Молодший - Сергій, композитор з Москви.
Три гангстера lt; # justify gt; Практика на підприємстві ТОВ Bimash допомогло мені ознайомитися і вивчити Мова Prolog. А також вирішувати логічні завдання на найбільш вищому рівні, що власне сприяє подальшому логічному розвитку. У період практики я багато дізналася про підприємство, про його важливих наукових напрямках, таких як
Машинне навчання (Machine Learning)
Машинний переклад...
