Vytlačiť
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 |