Zlepšování efektivity prologovských programů pomocí plně automatizované unfold/fold transformace

Abstrakt

Tento článek je příspěvek ke zlepšení výpočtové efektivity prologovských programů pomocí transformace rozvinutím a svinutím (unfold/fold) s homeomorfním vnořením jako řídící strategií.

Klíčová slova

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