Number of the records: 1
Od logiky k logickému programování.
SYS r002668 LBL ^^^^^naa^^2200325^^^450^ 005 20220819181006.7 100 $a 19971217a19rr m y0sloc0103 ba 101 0-
$a cze 102 $a [CS] 200 1-
$a Od logiky k logickému programování. $f J. Zlatuška 330 $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. 463 -1
$1 200 1 $a Informačné systémy $v Roč. 19, č. 6 (1990), s. 611-668 610 1-
$a logika $9 eu_un_auth*h0003125 610 1-
$a programovanie $9 eu_un_auth*h0005078 610 1-
$a jazyky programovacie $9 eu_un_auth*h0002600 610 1-
$a Prolog 610 1-
$a SLD 675 $a 681.3.06 $v 1. stred. $z slo $T . $3 eu_un_auth*h0000372 $x Programové vybavenie počítača. Software 700 -1
$a Zlatuška $b J. $3 eu_un_auth*p0012133 $4 070 801 -0
$a SK $b BA004 $c 19971217 $g AACR2
Number of the records: 1