Technical Paper #27 | |
---|---|
Title: | A Method of Extracting Prolog Programming Techniques |
Authors: | Vasconcelos,W |
Date: | Jun 1994 |
Presented: | |
Keywords: | |
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. |
Download: | POSTSCRIPT COPY |