Original title: Transformace logických programů
Translated title: Transformation of Logic Programs
Authors: Vyskočil, Jiří ; Štěpánek, Petr (advisor) ; Vomlelová, Marta (referee) ; Mařík, Radek (referee)
Document type: Doctoral theses
Year: 2008
Language: eng
Abstract: This paper is a contribution to improving computational e fficiency of de nite Prolog programs using Unfold/Fold (U/F) strategy with homeomorphic embedding as a control heuristic. Unfold/Fold strategy is an alternative to so called conjunctive partial deduction (CPD). The ECCE system is one of the best system for program transformations based on CPD. In this thesis is presented a new fully automated system of program transformations based on U/F strategy. The experimental results, namely CPU times, the number of inferences, and the size of the transformed programs are included. These results are compared to the ECCE system and indicate that in many cases both systems have produced programs with similar or complementary e fficiency. Moreover, a new method based on a simple combination of both systems is presented. This combination represents, to our best knowledge, the most effective transformation program for normal logic programs. In most cases, the combination signi cantly exceeds both the Unfold/Fold algorithm presented here and the results of the ECCE system. The experimental results with a complete comparison among these algorithms are included.

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/84707

Permalink: http://www.nusl.cz/ntk/nusl-354522


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Doctoral theses
 Record created 2017-06-20, last modified 2022-03-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share