Logičko programiranje: razlika između inačica

Posljednja izmjena od 23. ožujak 2022. u 10:31

Logičko programiranje u najširem smislu riječi je uporaba matematičke logike u računalnom programiranju. U ovom smislu, logičko se programiranje može datirati u povijest sve do rada Johna McCarthyja iz 1958. i njegova prijedloga o računalnom programu savjetoprimcu. Logiku se po tome rabi kao deklarativni reprezentacijski jezik, a dokazatelj poučaka ili tvorac modela se koristi kao rješavatelja problema. Zadaća kojom se rješava problem se dijeli između programera, koji je samo odgovoran osigurati točnost programa u logičkom obliku te dokazatelja poučaka i tvorca modela, koji je samo odgovoran učinkovito rješavati probleme.

Vanjske poveznice

Logičko programiranje Natuknica u virtualnoj knjižnic

Inačica od 28. rujan 2021. u 22:26 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 568.127 edits Bot: Automatski unos stranica		Posljednja izmjena od 23. ožujak 2022. u 10:31 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 568.127 edits m bnz
Redak 1:		Redak 1:
	~~<!--'''Logičko programiranje'''-->'''~~Logičko programiranje''' u najširem smislu riječi je uporaba [[matematička logika\|matematičke logike]] u [[računalno programiranje\|računalnom programiranju]]. U ovom smislu, logičko se programiranje može datirati u povijest sve do rada [[John McCarthy (informatičar)\|Johna McCarthyja]] iz 1958. i njegova prijedloga o računalnom programu [[savjetoprimac\|savjetoprimcu]]. Logiku se po tome rabi kao [[deklarativno programiranje\|deklarativni]] reprezentacijski jezik, a [[automatsko dokazivanje poučaka\|dokazatelj poučaka]] ili tvorac modela se koristi kao rješavatelja problema. Zadaća kojom se rješava problem se dijeli između programera, koji je samo odgovoran osigurati točnost programa u logičkom obliku te dokazatelja poučaka i tvorca modela, koji je samo odgovoran učinkovito rješavati [[problem]]e.		Logičko programiranje''' u najširem smislu riječi je uporaba [[matematička logika\|matematičke logike]] u [[računalno programiranje\|računalnom programiranju]]. U ovom smislu, logičko se programiranje može datirati u povijest sve do rada [[John McCarthy (informatičar)\|Johna McCarthyja]] iz 1958. i njegova prijedloga o računalnom programu [[savjetoprimac\|savjetoprimcu]]. Logiku se po tome rabi kao [[deklarativno programiranje\|deklarativni]] reprezentacijski jezik, a [[automatsko dokazivanje poučaka\|dokazatelj poučaka]] ili tvorac modela se koristi kao rješavatelja problema. Zadaća kojom se rješava problem se dijeli između programera, koji je samo odgovoran osigurati točnost programa u logičkom obliku te dokazatelja poučaka i tvorca modela, koji je samo odgovoran učinkovito rješavati [[problem]]e.

	== Vanjske poveznice ==		== Vanjske poveznice ==