Number of the records: 1
Od logiky k logickému programování.
Title Od logiky k logickému programování. Author info J. Zlatuška Author Zlatuška J. Source document Informačné systémy. Roč. 19, č. 6 (1990), s. 611-668 Document kind schedule of articles from periodics Language Czech Country of Edition [CS] systematics 681.3.06 - Programové vybavenie počítača. Software Keywords logika * programovanie * jazyky programovacie * Prolog * SLD Annotation 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. Database ARTICLES
article
Number of the records: 1