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 |