Колко често сте срещали неясен термин "логично програмиране" и не можехте да разберете какво е то? Днес ще дефинираме окончателно какъв вид езици за програмиране са логически тип и ще разгледаме примери за такива езици. Преди да започнете преглед на езика, първо трябва да знаете какво е то и защо.

Какво е логическо програмиране?

Този подход към програмирането се основава на доказателството на теореми и на изхода на информацията, основаваща се на факти. Резултатът от резултата е страничен продукт от работата на програмата. Логическото програмиране се основава на теорията на математическата логика, включва част от дискретна математика и някои други.

Какви са разликите?

Мнозина интегрират логически програмни езици с функционални, но имат някои различия, за които ще говорим по-късно. За разлика от функционалните, логическите са много подходящи за създаване на изкуствен интелект. Също така понякога е много удобно, когато езиковите променливи не се разделят на вход и изход. Именно в тези езици това се случва, което понякога опростява работата с кода. Отново, програмите са по-бързи и изпълняват задачите си понякога по-ефективно. Основната характеристика на езиците за логическо програмиране е, че програмата представлява определени отношения между елементите.


Въпреки това има и недостатъци. Не всичко може да бъде описано с помощта на логиката, следователно, в такива програми функциите няма да работят винаги, както би трябвало или не.

Кой е полезенда преподават езици за програмиране от логически тип?

Струва си да се отговори незабавно на въпроса: да се научат езиковите данни са полезни за всички - от ученика до възрастния човек. В края на краищата логическите езици за програмиране могат буквално да накарат мозъка ни да мисли логично. Също така, тези езици ще бъдат много полезни при създаването на изкуствен интелект или при работа с данни.

Логически програмни езици

Няма много такива езици и те са различни. Ще говорим само за две и да започнем с началото на ерата на логическите езици, а името му е Пролог. Този език е разработен през 1972 г. от Alain Kolmeroe и е актуален и свеж до момента. Въпреки че това не е най-простият език от гледна точка на синтаксиса, той е много полезен за разбиране на логиката на компютъра. Вижте как изглежда кодът, описващ книгата:




книга („Име“, „2009“, „Spb“, автори („Първи автор“, „ Втори автор “)).

Това описание е доста лесно за разбиране и разбиране. Ето защо изучаването на такъв език няма да предизвика големи трудности и не изисква танци с бубен.

Да разгледаме неговите плюсове и минуси.

Професионалисти.

1. Кодът е лесен за разбиране и запомняне.

Както бе споменато по-горе, кодът в езика на Prolog не е толкова труден за писане. Това е съвсем просто, в разбирането на обикновения потребител.

2. Изрази и факти.

Този език може да се използва без изчисления, като се разчита единствено на изрази и факти.

3. Пътят не засяга.

Какъвто и да е пътят към реализацията на вашата идея, която не сте избрали, това почти никога не засягарезултатите от програмата.

Против.

1. Слаби инвестиции.

Поради факта, че този език не подкрепя материално - той се развива доста бавно, с малки стъпки.

2. Неспособност за създаване на сложни програми.

Този език няма да може да се използва, без да се свързва с други хора, ако искате да създадете по-сложни програми с голяма функционалност.

3. Изчислителни операции.

За компютърни операции отново ще трябва да използва други езици.

Меркурий

Меркурий беше създаден, за да реши два проблема, свързани с популярен език за програмиране.

1. Производителност.

Логическите езици за програмиране са доста по-ниски от императивния тип изпълнение.

2. Отстраняване на грешки.

На езиците от този тип отнема много време за отстраняване на грешки в програмата, както и по-малко проверки за грешки в програмата, поради което понякога има проблеми.

Пример за код за Меркурий:

Здравейте, свят!

​​

: - модул здравей.
: - интерфейс.
: - import_module io.
: - преди основната (io :: di, io :: uo) е det.

: - изпълнение.
main (! IO): -
io.write_string ("Здравей, свят! N", IO).

Синтаксисът и разбирането на този език, както можете да видите, са много различни от "Пролога", което донякъде усложнява ученето, но някои от неговите предимства, които помагат да се реши проблемът с Пролога, са много полезни.

Заключение

Езикът на логическото програмиране е езикът, който обработва изрази и факти, а страничният ефект е резултат от работата на тази програма. Такива езицимного полезна при създаването на изкуствен интелект и работа с данни, но рядко се използват без програмни езици на трети страни.