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...

Full description

Bibliographic Details

Main Author:	Zlatuška, J.
Format:	Book Chapter
Language:	Czech
Subjects:	logika programovanie jazyky programovacie Prolog SLD
Tags:	Add Tag No Tags, Be the first to tag this record!