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


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


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