Logikala programigado: Diferi inter la revizi
Kontenajo efacita Kontenajo adjuntita
kelka korektigi/modifiki |
mNula rezumo di redakto |
||
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.
:''fakti'' + ''reguli'' = ''rezulti''
|