Od logiky k logickému programování.

Logické programovanie umožňuje používať tzv. logiku Hornových klauzulí ako programovací jazyk s dobre definovanou deklaratívnou a operačnou sématikou. Prehľad základných pojmov v tejto oblasti, konštrukcií dôkazov a vzťahov medzi deklaratívnou a operačnou sématikou vzhľadom k výpočtom definovaným po...

Descrizione completa

Salvato in:
Autore principale: Zlatuška, J.
Natura: Capitolo di libro
Lingua:ceco
Soggetti:
logika
programovanie
jazyky programovacie
Prolog
SLD
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC

LEADER 00000naa a2200000 4500
001 r002668
005 20220819181006.7
041 0 |a cze 
044 |a [CS] 
245 1 0 |a Od logiky k logickému programování.  |c J. Zlatuška 
520 |a Logické programovanie umožňuje používať tzv. logiku Hornových klauzulí ako programovací jazyk s dobre definovanou deklaratívnou a operačnou sématikou. Prehľad základných pojmov v tejto oblasti, konštrukcií dôkazov a vzťahov medzi deklaratívnou a operačnou sématikou vzhľadom k výpočtom definovaným pomocou SLD-rezolúcie. Zhrnutie niektorých čęt jazyka Prolog ako praktickej realizácie princípov logického programovania. 
610 2 0 |a logika 
610 2 0 |a programovanie 
610 2 0 |a jazyky programovacie 
610 2 0 |a Prolog 
610 2 0 |a SLD 
100 1 |a Zlatuška, J. 

Documenti analoghi