Logički programski jezici: značajke, primjeri

Koliko često ste naišli na nejasan pojam "logično programiranje" i niste mogli razumjeti što je to? Danas ćemo definitivno definirati kakvi su programski jezici logički, te razmotriti primjere tih jezika. Prije nego započnete pregled jezika, najprije morate znati što je to i zašto.

Što je logično programiranje?

Ovaj pristup programiranju temelji se na dokazu teorema i izlazu informacija na temelju činjenica. Rezultat rezultata je nusproizvod rada programa. Logičko programiranje temelji se na teoriji matematičke logike, uključuje dio diskretne matematike i neke druge.

Koje su razlike? Mnogi integriraju logičke programske jezike s funkcionalnim, ali imaju neke razlike, o čemu ćemo kasnije govoriti. Za razliku od funkcionalnih, logičke su vrlo prikladne za stvaranje umjetne inteligencije. Također je ponekad vrlo pogodno kada jezične varijable nisu podijeljene na ulaz i izlaz. To se događa na tim jezicima, što ponekad pojednostavljuje rad s kodom. I opet, programi su brži i ponekad učinkovitije obavljaju svoje zadatke. Glavna značajka logičkih programskih jezika je da program predstavlja određene odnose između elemenata.


Međutim, postoje i nedostaci. Ne može se sve opisati uz pomoć logike, stoga u takvim programima funkcije neće uvijek raditi onako kako bi trebale ili ne rade uopće.

Tko je koristannaučiti programske jezike logičkog tipa?

Vrijedno je odmah odgovoriti na pitanje: jesu li podaci o jeziku korisni svima - od učenika do punoljetnog čovjeka. Uostalom, jezici programiranja logike mogu doslovno učiniti da naš mozak razmišlja logično. Također, takvi će jezici biti vrlo korisni u stvaranju umjetne inteligencije ili pri radu s podacima.

Logički programski jezici

Ne postoji mnogo takvih jezika i oni su različiti. Razgovarat ćemo samo o dva, a počnimo s početkom razdoblja logičkih jezika, a ime mu je Prolog.
Ovaj jezik je 1972. godine razvio Alain Kolmeroe i do danas je relevantan i svjež. Iako to nije najjednostavniji jezik u smislu sintakse, on je vrlo koristan u razumijevanju logike računala. Pogledajte kako izgleda kôd koji opisuje knjigu:




knjiga ('Ime', '2009', 'Spb', autori ('Prvi autor', ' Drugi autor ')).

Ovaj je opis vrlo lako razumljiv i razumljiv. Zato učenje takvog jezika neće imati velikih poteškoća i neće zahtijevati ples s tamburinom.

Pogledajmo njegove prednosti i mane.

Pros.

1. Kod je lako razumljiv i zapamtiti.

Kao što je gore spomenuto, kod u Prolog jeziku nije tako teško pisati. To je sasvim jednostavno, u razumijevanju običnog korisnika.

2. Izrazi i činjenice.

Ovaj se jezik može koristiti bez ikakvih izračuna, oslanjajući se isključivo na izraze i činjenice.

3. Staza ne utječe.

Bez obzira na put do ostvarenja vaše ideje, niste je odabrali, to gotovo nikada ne utječerezultat programa.

Cons.

1. Slaba ulaganja.

Zbog činjenice da ovaj jezik ne podržava materijalno - razvija se vrlo sporo, malim koracima.

2. Nemogućnost stvaranja složenih programa.

Ovaj jezik neće se moći koristiti bez kontaktiranja s drugima ako želite stvoriti složenije programe s velikom funkcionalnošću.

3. Računalne operacije.

Za operacije računanja ponovno će morati koristiti druge jezike.

Merkur

Mercury je izašao iz Prolog jezika kako bi riješio dva problema povezana s popularnim programskim jezikom.

1. Produktivnost.

Logički programski jezici prilično su inferiorni u odnosu na imperativnu izvedbu.

2. Ispravljanje pogrešaka.

U jezicima ove vrste potrebno je mnogo vremena za ispravljanje programa, kao i manje provjere pogrešaka u programu, zbog čega ponekad ima problema.

Primjer koda za Mercury:

Zdravo, Svijet!

​​
: - modul hello. 
: - sučelje.
: - import_module io.
: - pred glavni (io :: di, io :: uo) je det.

: - provedba.
main (! IO): -
io.write_string ("Zdravo, Svijet! N", IO).


Sintaksa i razumijevanje tog jezika, kao što možete vidjeti, vrlo se razlikuju od "Prologa", što donekle komplicira učenje, ali neke njegove prednosti, pomažući u rješavanju problema Prologa, vrlo su korisne.

Zaključak

Jezik logičkog programiranja je jezik kojim se obrađuju izrazi i činjenice, a nuspojava je rezultat rada ovog programa. Takvi jezicivrlo je korisna u stvaranju umjetne inteligencije i radu s podacima, ali se rijetko koriste bez programskih jezika trećih strana.

Povezane publikacije