Research Paper #715
|
Title: | Extracting Prolog Programming Techniques
|
Authors: | Vasconcelos,W
|
Date: | Aug 1994
|
Presented: | In the proceedings of the XI Brazilian Symposium on Artificial Intelligence, Ceara, Brazil, Oct. 17 - 20, 1994
|
Keywords: |
|
Abstract: | We present a method of extracting the programming techniques employed in Prolog programs. Our method records the manner each subgoal has been used and employs this, together with its 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
|