Logičko programiranje: razlika između inačica
Prijeđi na navigaciju
Prijeđi na pretraživanje
Bot: Automatski unos stranica |
m bnz |
||
| Redak 1: | Redak 1: | ||
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 == | ||
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