Vytlačiť
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 |