Počet záznamov: 1
Implementační techniky Prologu.
Názov Implementační techniky Prologu. Autorské údaje L. Matyska, D. Toman Autor Matyska L. Spoluautori Toman D. Zdrojový dokument Informačné systémy. Roč. 20, č. 1 (1991), s. 21-59 Druh dokumentu rozpis článkov z periodík Jazyk dokumentu čeština Krajina vydania [CS] Systematika 681.3.06 - Programové vybavenie počítača. Software Heslá Prolog * programovanie * jazyky programovacie * počítače * optimalizácia Anotácia 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. Báza dát ČLÁNKY
článok
Počet záznamov: 1