Title: Improving the efficiency of constraint logic programming-languages by deriving specialized versions
Authors: Bruynooghe, Maurice ×
Dumortier, V
Janssens, Gerda #
Issue Date: 1991
Publisher: Springer
Series Title: Lecture notes in computer science vol:567 pages:309-317
Conference: Declarative Knowledge, International Workshop PDK'91 location:Kaiserslautern, Germany date:July 1-3, 1991
Abstract: Extending logic programming to constraint logic programming has substantially broadened the range of problems solvable in a declarative style. However experiments with the Prolog III system showed that the generality of the constraint solving often incurs a heavy performance penalty for the - often occurring - special cases in which the problem has a simple algorithmic solution. This paper investigates - in the context of Prolog III - the feasibility of automatically extracting specialized versions. This is illustrated on some examples. Extraction of the specialized version is based on a transformation technique ''compiling control which was originally devised for transforming logic programs requiring a special computation rule into Prolog programs.
ISBN: 3-540-55033-X
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
KD91.pdf Published 530KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science