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...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Capítulo de Livro |
| Idioma: | tcheco |
| Assuntos: | |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
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. | |