Tutorial on Specialisation of Logic Programs

  title={Tutorial on Specialisation of Logic Programs},
  author={John P. Gallagher},
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation of a logic program with respect to a goal. The practical considerations of gaining efficiency (and not losing any) are discussed. A renaming scheme for performing structure specialisation is then described, and illustrated on a well-known string matching example. The basic algorithm is enhanced by incorporating… CONTINUE READING
Highly Influential
This paper has highly influenced 42 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
166 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 166 extracted citations

Similar Papers

Loading similar papers…