Implementační techniky Prologu.

Popis základnej metódy reprezentácie prologovských termov a spôsobu riadenia výpočtu nedeterministického jazyka a interpreta Prologu. Problematika prekladu prologovských programov. Diskutovanie abstraktného prologovského počítača i s vstavanými predikátmi a radu jeho optimalizácií. Použiteľnosť prez...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Matyska, L.
Altri autori: Toman, D.
Natura: Capitolo di libro
Lingua:ceco
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC

LEADER 00000naa a2200000 4500
001 r004832
005 20221125080350.4
041 0 |a cze 
044 |a [CS] 
245 1 0 |a Implementační techniky Prologu.  |c L. Matyska, D. Toman 
520 |a Popis základnej metódy reprezentácie prologovských termov a spôsobu riadenia výpočtu nedeterministického jazyka a interpreta Prologu. Problematika prekladu prologovských programov. Diskutovanie abstraktného prologovského počítača i s vstavanými predikátmi a radu jeho optimalizácií. Použiteľnosť prezentovaných techník. 
610 2 0 |a Prolog 
610 2 0 |a programovanie 
610 2 0 |a jazyky programovacie 
610 2 0 |a počítače 
610 2 0 |a optimalizácia 
100 1 |a Matyska, L. 
700 1 |a Toman, D.