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

Research Paper #715

Title:Extracting Prolog Programming Techniques
Date:Aug 1994
Presented:In the proceedings of the XI Brazilian Symposium on Artificial Intelligence, Ceara, Brazil, Oct. 17 - 20, 1994
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.

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