1. Implementační techniky Prologu.
Title | Implementační techniky Prologu. |
---|---|
Author info | L. Matyska, D. Toman |
Author | Matyska L. |
Co-authors | Toman D. |
Source document | Informačné systémy. Roč. 20, č. 1 (1991), s. 21-59 |
Document kind | schedule of articles from periodics |
Language | Czech |
Country of Edition | [CS] |
systematics | 681.3.06 - Programové vybavenie počítača. Software |
Keywords | Prolog * programovanie * jazyky programovacie * počítače * optimalizácia |
Annotation | 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. |
Database | ARTICLES |