Počet záznamov: 1
Od logiky k logickému programování.
Názov Od logiky k logickému programování. Autorské údaje J. Zlatuška Autor Zlatuška J. Zdrojový dokument Informačné systémy. Roč. 19, č. 6 (1990), s. 611-668 Druh dokumentu rozpis článkov z periodík Jazyk dokumentu čeština Krajina vydania [CS] Systematika 681.3.06 - Programové vybavenie počítača. Software Heslá logika * programovanie * jazyky programovacie * Prolog * SLD Anotácia 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. Báza dát ČLÁNKY
článok
Počet záznamov: 1