Number of the records: 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
article
Number of the records: 1