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 |