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 how 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. 1
|
556
|
The Art of Prolog
– Sterling, Shapiro
- 1986
|
|
529
|
A transformation system for developing recursive programs
– Burstall, Darlington
- 1977
|
|
212
|
Sato T.: Unfold/Fold Transformations of Logic Programs
– Tamaki
- 1984
|
|
166
|
Empirical studies of programming knowledge
– Soloway, Ehrlich
- 1984
|
|
146
|
The Art of Prolog: Advanced Programming Techniques
– Sterling, Shapiro
- 1986
|
|
128
|
The Craft of Prolog
– O’KEEFE
- 1994
|
|
112
|
The Programmer's Apprentice
– Rich, Waters
- 1990
|
|
80
|
XPLAIN: A System for Creating and Explaining Expert Consulting Programs
– Swartout
- 1983
|
|
71
|
The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming
– Eisenstadt, Brayshaw
- 1988
|
|
39
|
Automatic Program Debugging for Intelligent Tutoring Systems
– Murray
- 1988
|
|
25
|
A Simple Prolog Techniques Editor for Novice Users
– Robertson
- 1991
|
|
21
|
Learning Prolog in a Schema-Based Environment
– Gegg-Harrison
- 1991
|
|
20
|
Skeletons and techniques for Prolog programming
– Kirschenbaum, Lakhotia, et al.
- 1989
|
|
18
|
Applying Prolog programming techniques
– Vasconcelos
- 1994
|
|
15
|
A Recursive Techniques Editor for Prolog
– Bundy, Grosse, et al.
- 1991
|
|
14
|
Structure-Based Editors and Environments
– Szwillus, Neal
- 1996
|
|
13
|
Prolog programming techniques
– Brna, Bundy, et al.
|
|
13
|
Analyzing success patterns of logic programs by abstract hybridinterpretation
– Kanamori, Kawamura
- 1987
|
|
13
|
From problems to programs via plans: The content and structure of knowledge for introductory LISP programming
– Soloway
- 1985
|
|
12
|
Composing Prolog Meta-Interpreters
– Sterling, Lakhotia
- 1988
|
|
12
|
Incorporating `Programming Techniques' into Prolog Programs
– Lakhotia
- 1989
|
|
11
|
Adapting instruction to the student's capabilities
– Gegg-Harrison
- 1992
|
|
10
|
Expert programming knowledge: a strategic approach
– Gilmore
- 1990
|
|
7
|
Composing Logic Programs with Clausal Join
– Lakhotia, Sterling
- 1987
|
|
6
|
Building Large-Scale Prolog Programs using a Techniques Editing System. Research Paper 635
– Vargas-Vera, Robertson, et al.
- 1993
|
|
6
|
An Implementation Technique for the Abstract Interpretation of Prolog
– Waern
- 1988
|
|
5
|
A techniques editor for prolog novices. Internal note submitted for publication
– Bowles
- 1993
|
|
5
|
Intention-based diagnosis of errors in novice programs
– Johnson
- 1985
|
|
5
|
Guidance during Program Composition in a Prolog Techniques Editor
– Vargas-Vera
- 1994
|
|
3
|
Recognising the Design Decisions in Prolog Programs as a Prelude to Critiquing
– Bental
- 1994
|
|
3
|
Automatic Program Analysis in a Prolog Intelligent Teaching System
– Looi
- 1988
|
|
3
|
Detecting Prolog Programming Techniques Using Abstract Interpretation
– Bowles
- 1992
|
|
3
|
Teaching Prolog Techniques. Research Paper 530
– Brna
- 1991
|
|
2
|
Abstract Interpretation and Application to Logic Programs
– Cousout, Cousout
- 1992
|
|
2
|
Logic Programming: Systematic Program Development
– Devilles
- 1990
|
|
2
|
TX: a Prolog Explanation System. Msc dissertation
– Gabriel
- 1992
|
|
2
|
Formalising the Knowledge of a Prolog Techniques Editor
– Vasconcelos
- 1992
|
|
2
|
Beginners Problems in Learning Prolog. Memorandum 54
– Someren
- 1985
|
|
1
|
Extracting Prolog Programming Techniques. Research Paper 715
– Vasconcelos
- 1994
|
|
1
|
Using Clausal Join and Clausal Split to Recognise Language-Specific Programming Design Decisions
– Bental
- 1992
|
|
1
|
Detecting Design Decisions About Data Structures in Prolog Programs. Pages 217--224 of
– Bental
- 1993
|
|
1
|
Programming Plans and Programming Techniques. Pages 378--385 of
– Bowles
- 1993
|
|
1
|
Applying Prolog Programming Techniques 25
– Brna, Bundy, et al.
- 1991
|
|
1
|
TX: A Prolog Explanation System
– Gabriel
- 1992
|
|
1
|
Applying Prolog Programming Techniques 26
– Reiser, Anderson
- 1985
|
|
1
|
Composing Prolog Meta-Interpreters. Pages 386--403
– Sterling
- 1988
|
|
1
|
A Transformation System for Logic
– Tamaki
- 1983
|
|
1
|
Ace: A Clich'e-Based Program Structure Editor. working paper MIT/AI/WP-294
– Tan
- 1987
|
|
1
|
What's Wrong? Understanding Beginners
– Someren
- 1990
|
|
1
|
Applying Prolog Programming Techniques 27
– Vasconcelos
- 1993
|
|
