Optimalizace prologovských programů plně automatickou transformační procedurou

Abstrakt

Optimalizace prologovských programů plně automatickou transformační procedurou za použití strategie rozvinutí a svinutí (Unfold/Fold) s homeomorfním vnořením jako řídící heuristikou.

Klíčová slova

• Optimization
• prolog
• programs
• fully
• automated
• transformation
• procedure