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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Matyska, L.
Otros Autores: Toman, D.
Formato: Capítulo de libro
Lenguaje:checo
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

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.