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...

Ausführliche Beschreibung

Gespeichert in:
1. Verfasser: Zlatuška, J.
Format: Buchkapitel
Sprache:Tschechisch
Schlagworte:
logika
programovanie
jazyky programovacie
Prolog
SLD
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

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. 

Ähnliche Einträge