Od logiky k logickému programování.
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 po...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book Chapter |
| Language: | Czech |
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|