The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Technical Paper #27

Title:A Method of Extracting Prolog Programming Techniques
Date:Jun 1994
Abstract:We present a method of extracting the programming techniques employed in Prolog programs. Techniques are dynamic entities consisting of the syntax of the program and how it is used. The method records who subgoals are employed and uses this, together with their syntax and other auxiliary information, to partition the program into single-argument procedures possibly sharing variables. A technique is formally characterised as a sequence of such single-argument procedures.

[Search These Pages] [DAI Home Page] [Comment]