Versiono ye 16:53, 24 jan. 2021 redaktar Joao Xavier (diskutez \| kontributadi) Administreri 116 861 redaktoj m Joao Xavier movis la pagino Logika programeso a Logikala programigado: pagino rinomizita ← Plu anciena versiono		Versiono ye 17:17, 24 jan. 2021 redaktar desfacez Joao Xavier (diskutez \| kontributadi) Administreri 116 861 redaktoj kelka korektigi/modifiki Plu recenta versiono →
Lineo 1: '''Logikala programigado''' esas paradigmo di komputerala programigado qua uzas [[matematikala logiko]]. Irga komputeral [[algoritmo]] skribita en ula [[Programifo-lingui\|programifo-linguo]] esas kolektajo di instrukti ed informi skribita en logikala formo, expresanta fakti e reguli pri la fako di ula problemo. ~~{{specala revizo}}{{klado}}~~ ~~'''Logika programeso''' esas, en lua maxim larja senco, [[matematikala logiko]].~~ :''fakti'' + ''~~ruguli~~reguli'' = ''rezulti''▼ Esas [[deklarativa programeso\|deklarativa]] [[programesa paradigmo]] en qua [[atribut-ensemblo]] ke solvo devas esar precizita prefere ke [[paz-ensemblo]] da obtenar ta solvo. La plu uzita logika programesa linguo esas [[Prolog]]. Altra, plu moderna inkluzas [[Mercury programeso\|Mercury]], [[Visual Prolog]], ed [[Oz programesa linguo\|Oz]]. <br /> ~~Skemecala, la proceso es:~~ Exemplo pri programifo-linguo qua uzas logikala programigado esas ''[[Prolog]]'', developita en 1972, qua asociesas kun [[artifical inteligenteso]], e ''Datalog''. ''Prolog'' originis de la programifo-linguo ''Planner'', qua aparis en 1969 ed esis l'unesma qua uzis logikala programigado. ▲:''fakti'' + ''ruguli'' = ''rezulti'' Ula importanta konceptajo en logikala programigado esas deskompozar la programi en sua logikala kompozanti, ed en sua kontrolala kompozanti. [[Kategorio:Informatiko]]

Logikala programigado: Diferi inter la revizi