Jak często natknąłeś się na niejasny termin "programowanie logiczne" i nie mogłeś zrozumieć, co to było? Dzisiaj definitywnie określimy, jakiego rodzaju języki programowania są logiczne i rozważymy przykłady takich języków. Zanim zaczniesz przeglądać język, najpierw musisz wiedzieć, co to jest i dlaczego.

Co to jest programowanie logiczne?

Takie podejście do programowania opiera się na dowodzie twierdzeń i wynikach informacji opartych na faktach. Wynik wyniku jest produktem ubocznym pracy programu. Programowanie logiczne opiera się na teorii logiki matematycznej, zawiera część matematyki dyskretnej i kilka innych.

Jakie są różnice?

Wiele integruje logiczne języki programowania z funkcjonalnymi, ale mają pewne różnice, o których będziemy mówić później. W przeciwieństwie do funkcjonalnych, logiczne bardzo dobrze nadają się do tworzenia sztucznej inteligencji. Czasem jest to bardzo wygodne, gdy zmienne językowe nie są podzielone na dane wejściowe i wyjściowe. Dzieje się tak w tych językach, co czasem upraszcza pracę z kodem. Ponownie, programy są szybsze i czasami wykonują swoje zadania bardziej efektywnie. Główną cechą języków programowania logicznego jest to, że program reprezentuje określone relacje między elementami.


Istnieją jednak również wady. Nie wszystko da się opisać za pomocą logiki, dlatego w takich programach funkcje nie zawsze będą działały tak, jak powinny lub nie działają wcale.

Kto jest przydatnyuczyć języków programowania typu logicznego?

Należy natychmiast odpowiedzieć na pytanie: do nauczania języka danych przydatnych dla wszystkich - od dzieci do wieku człowieka. W końcu logiczne języki programowania mogą dosłownie sprawić, że nasz mózg myśli logicznie. Również takie języki będą bardzo pomocne w tworzeniu sztucznej inteligencji lub podczas pracy z danymi.

Logiczne języki programowania

Nie ma wielu takich języków i są one różne. Mówimy tylko o dwa i rozruszników, która rozpoczęła erę językach logika, a jego nazwisko Prolog. Język ten został opracowany w 1972 r. Przez Alaina Kolmeroe i jest aktualny i aktualny. Chociaż nie jest to najprostszy język pod względem składni, jest bardzo przydatny w zrozumieniu logiki komputera. Zobacz, jak to kod, który opisuje książkę:




książki ('nazwa', '2009', 'Petersburg', autorów ('Pierwszy autor' ' Drugi autor ")).

Opis ten jest dość łatwy do zrozumienia i zrozumienia, co. Dlatego nauka takiego języka nie przysporzy dużych trudności i nie wymaga tańca z tamburynem.

Rzućmy okiem na jego plusy i minusy.

Plusy.

1. Kod jest łatwy do zrozumienia i zapamiętania.

Jak wspomniano powyżej, kod w języku Prolog nie jest tak trudny do napisania. Jest to dość proste, w rozumieniu zwykłego użytkownika.

2. Wyrażenia i fakty.

Ten język może być używany bez jakichkolwiek obliczeń, opierając się wyłącznie na wyrażeń i faktach.

3. Ścieżka nie wpływa.

Bez względu na ścieżkę do realizacji twojego pomysłu, którego nie wybrałeś, prawie nigdy nie wpływawynik programu.

Przeciw.

1. Słaba inwestycja.

Z uwagi na to, że ten język nie wspiera materialnie - rozwija się dość wolno, małymi kroczkami.

2. Niezdolność do tworzenia złożonych programów.

Tego języka nie można używać bez kontaktowania się z innymi, jeśli chcesz tworzyć bardziej złożone programy o dużej funkcjonalności.

3. Operacje obliczeniowe.

Ponownie do operacji obliczeniowych będzie musiał korzystać z innych języków.

Merkury

Odchodząc od języka Prolog, Mercury został stworzony, aby rozwiązać dwa problemy związane z popularnym językiem programowania.

1. Produktywność.

Logiczne języki programowania są znacznie gorsze od imperatywnego rodzaju wydajności.

2. Debugowanie.

W tego typu językach debugowanie programu zajmuje dużo czasu, a także mniej sprawdzeń pod kątem błędów w programie, dlatego czasami występują problemy.

Przykładowy kod dla Merkurego:

Witaj, świecie!

​​

: - moduł hello.
: - interfejs.
: - import_module io.
: - pred main (io :: di, io :: uo) to det.

: - wdrożenie.
main (! IO): -
io.write_string ("Hello, World! N",! IO).

Składnia i rozumienie tego języka, jak widać, są bardzo różne od "Prologu", co nieco komplikuje uczenie się, ale niektóre z jego zalet, pomagające rozwiązać problem z Prologiem, są bardzo użyteczne.

Podsumowanie

Językiem programowania logicznego jest język, który obsługuje wyrażenia i fakty, a efekt uboczny jest wynikiem pracy tego programu. Takie językibardzo przydatne w tworzeniu sztucznej inteligencji i pracy z danymi, ale rzadko są używane bez języków programowania stron trzecich.