Ano ang prolog?

Ipinaglihi noong unang bahagi ng 1970s, Prolog, malamang na isang kombinasyon ng mga salitang programa at lohika, ay isa sa mga pinakaunang wika sa pagprograma ng computer.Sa bahagi dahil ito ay napaka -simpleng code, gamit ang unang order logic at maliit na pagkalkula, ito ay nasa tanyag na paggamit pa rin.Ang orihinal na set ng pagtuturo ay malaki ang pinalaki at binuo sa maraming mga variant sapagkat ito ay partikular na angkop upang maproseso ang wika.Ang dalawang pangunahing katangian ng programa ay nagbibigay ng pagproseso para sa mga aplikasyon tulad ng artipisyal na katalinuhan at awtomatikong telecommunication.

Ang Prolog ay gumagamit ng pormal, unang order na lohika.Ang mga tagubilin na nai -upload sa isang computer ay matatag;Wala silang malabo, computational weighting.Sa pagpapahayag, ang syntax ng wika ay isang hangganan na hanay ng mga patakaran at ang mga semantika ay tinukoy, karaniwang sa pamamagitan ng mga hanay tulad ng mga solong deskriptor, maraming mga listahan at mga string, o sa pamamagitan ng isang saklaw tulad ng mga pagkakasunud -sunod ng numero.

kasama ang ilang mas kilalang coding tulad ng Hypertext Markup Language (HTML), ang Prolog ay nasa isang klase ng software na karaniwang tinatawag na mga wika ng programming, na katangian na gumagamit ng simpleng pahayag na "x katumbas ng y," na tinukoy bilang isang "term."Sinabihan ang isang computer kung ano ang gagawin;Hindi inutusan na makalkula ang sarili nitong kung paano makarating doon.Ang computer ay binigyan ng isang hanay ng mga katotohanan na may isang "predicate," at mga relasyon, na tinukoy bilang isang "sugnay," mula sa kung saan ang isang query sa pag -input ay dapat magbunga ng isang tunay laban sa maling konklusyon ng output.Hindi ito nagsasagawa ng isang algorithm, ngunit sa halip ay nakakuha ng isang simpleng sagot sa pamamagitan ng pagdaragdag at pagbabawas, o pagbubukod, mula sa kilalang hanay ng mga kahulugan.Ang computing sa Prolog ay ginagamit upang subukan at patunayan ang mga teorya at ang kanilang pinagbabatayan na mga pagpapalagay, mula sa advanced na matematika hanggang sa biology hanggang sa pilosopiya., naproseso, at pinapakain pabalik, na nagreresulta sa higit na pagiging kumplikado o pagiging simple ng impormasyon.Sa pagtaas ng kapasidad ng memorya at mabilis na pag -access, ito ang nangingibabaw na paradigma na nagtulak sa Holy Grail Mdash ng Computer;Artipisyal na katalinuhan.Ang susi ayon sa marami sa larangan ay interface at wika.Ang programming ng Prolog ay maaaring magamit upang lumikha ng mga GUI, ang interface ng graphic na gumagamit na pinasimunuan ng Apple , sa pamamagitan lamang ng pagtukoy ng mga simbolo ng visual.Maaari rin itong magamit upang mabasa, isalin, at lumikha ng ekspresyon ng mukha.

Ang computational linguistic ay higit na mahirap, at habang ang Prologkung epektibong kumakatawan sa wika.Para sa mga limitadong mga sistema ng dalubhasa, tulad ng computerized na boses-pagkilala sa teknikal na suporta sa mga linya ng telepono, ang programming ng Prolog ay ginagamit sa ilang antas ng pagiging epektibo.Maaari rin itong isama sa mas mataas na software ng logic ng order at mdash;Ang pagsukat ng mga wika tulad ng C+ o Java Mdash;Ngunit ang compression at portability ay mananatiling mga problema na nagtitiis para sa wikang programming ng data na ito.