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 |