Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí

Abstrakt

Tento článek je příspěvek ke zlepšování výpočetní efektivity definitních prologovských programů pomocí strategie rozvinutí/svinutí (R/S) s homeomorfním vnořením jako řídící heuristikou. Je zde uveden nový plně automatizovaný systém pro transformace programů založený na R/S strategii.

Experimentální výsledky jsou uvedeny a porovnány s ECCE systémem. Dále je představena nová metoda založená na jednoduché kombinaci obou systémů.

Klíčová slova

• Improving
• Efficiency
• Prolog
• Programs
• Fully
• Automated
• Unfold/Fold
• Transformation