Exploiting Program Schemata in a Prolog Tutoring System (1993)

Cached

Download Links

by Timothy S. Gegg-harrison , Timothy S. Gegg-harrison
Citations:8 - 3 self

Documents Related by Co-Citation

33 Schema-Based Transformations of Logic Programs – Norbert Fuchs, Markus P. J. Fromherz - 1991
36 Applying Techniques to Skeletons – L. S. Sterling, M. Kirschenbaum - 1993
17 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1996
8 Exploiting program schemata in an automated program debugger – T S Gegg-Harrison - 1994
19 Learning Prolog in a Schema-Based Environment – T S Gegg-Harrison - 1991
6 Programming plans and programming techniques – A Bowles, P Brna - 1993
3 What's Wrong? Beginners' Problems with Prolog – M W van Someren - 1990
10 Adapting instruction to the student's capabilities – T S Gegg-Harrison - 1992
11 Cliche programming in Prolog – Dave Barker-Plummer - 1990
20 Basic Prolog Schemata – Timothy S Gegg-Harrison - 1989
176 An overview of -prolog – D Miller, G Nadathur - 1988
39 Problem solving and the development of abstract categories in programming languages – B Adelson - 1981
60 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
21 A Simple Prolog Techniques Editor for Novice Users – Dave Robertson - 1991
5 Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1995
9 Incorporating `programming techniques' into Prolog programs – Arun Lakhotia - 1989
3 organising, designing and reusing prolog programming techniques – W W Vasconcelos, Extracting - 1995
10 Prolog programming techniques – P Brna, A Bundy, T Dodd, M Eisenstadt, C K Looi, H Pain, D Robertson, B Smith, M van Someren
260 Program Development by Stepwise Refinement – N Wirth - 1971