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...
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kapitola |
| Jazyk: | Czech |
| Predmet: | |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!