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...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Capitolo di libro |
| Lingua: | ceco |
| Soggetti: | |
| Tags: |
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. | |