Razlika između inačica stranice »Logičko programiranje«

Trenutačna izmjena od 10:31, 23. ožujka 2022.

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 22:26, 28. rujna 2021. (vidi izvor) WikiSysop (razgovor \| doprinosi) (Bot: Automatski unos stranica)		Trenutačna izmjena od 10:31, 23. ožujka 2022. (vidi izvor) WikiSysop (razgovor \| doprinosi) 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 ==