Comparison of contrasting Prolog trace output formats

International Journal of Human Computer Studies

Volumn 47, Issue 2, 1997, Pages 289-322

  Patel, Mukesh J ^a   Du Boulay, Benedict ^b   Taylor, Chris ^c  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

^c CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; DECISION MAKING; HUMAN COMPUTER INTERACTION; PROBLEM SOLVING; SUBJECTIVE TESTING;

VISUAL PROGRAMMING LANGUAGES;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0031210072     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1997.0119     Document Type: Article

References (39)

1. BRNA, P., BRAYSHAW, M., BUNDY, A., DODD, T., ELSOM-COOK, M. & FUNG, P. (1991). An overview of Prolog debugging tools. Instructional Science, 2/3, 193-214.
2. BYRD, L. (1980). Understanding the control flow of Prolog programs. In S. TARNLUND, Ed. Proceedings of the Logic Programming Workshop, pp. 127-138.
3. CLOCKSIN, W. F. & MELLISH, C. (1981). Programming in Prolog. Berlin: Springer.
4. CUNNIFF, N. & TAYLOR, R. (1987). Graphical versus textual representation: an empirical study of novice's program comprehension. In G. OLSON, S. SHEPHERD & E. SOLOWAY, Eds. Empirical Studies of Programmers: Second Workshop. Norwood, NJ: Ablex Publishing Corporation.
5. DAVIES, S. P. (1993a). Expertise and display-based strategies in computer programming. In J. ALTY, D. DIAPER & S. GUEST, Eds. Proceedings of HCI'93, pp. 411-423. Cambridge: Cambridge University Press.
6. DAVIES, S. P. (1993b). Models and theoreies of programming strategy. International Journal of Man-Machine Studies, 39, 237-267.
7. DICHEV, C. & DU BOULAY, B. (1989). An enhanced trace tool for Prolog. In Proceedings of the 3rd International Conference, Childen in the Information Age, pp. 149-163, Sofia, Bulgaria.
8. DU BOULAY, B. (1986). Some difficulties of learning to program. Journal of Educational Computing Research, 2, 57-73.
9. EISENSTADT, M. (1984). A powerful Prolog trace package. In Proceedings of the 6th European Conference on Artificial Intelligence (ECAI-84). Amsterdam: North-Holland.
10. EISENSTADT, M. & BRAYSHAW, M. (1988). The transparent Prolog machine (TPM): an execution model and graphical debugger for logic programming. Journal of Logic Programming, 5, 277-342.
11. EISENSTADT, M., BRAYSHAW, M. & PAINE, J. (1991). The Transparent Prolog Machine. Oxford: Intellect.
12. EISENSTADT, M. & DIXON, M. (1988). Intensive Prolog Workbook. Milton Keynes: Open University Press.
13. GEGG-HARRISON, T. (1991). Learning Prolog in a schema-based environment. Instructional Science, 20, 173-192.
14. GILMORE, D. J. & GREEN, T. R. (1988). Programming plans and programming expertise. Quarterly Journal of Experimental Psychology, 40A, 423-442.
15. GREEN, T. R. G. (1977). Conditional program statements and their comprehensibility to professional programmers. Journal of Occupational Psychology, 50, 93-109.
16. GREEN, T. R. G. (1989). Cognitive dimensions of notations. In A. SUTCLIFFE & L. MACAULAY, Eds. People and Computers V Proceedings of HCI'89, pp. 443-60. Cambridge: Cambridge University Press.
17. GREEN, T. R. G. (1991). Describing information artifacts with cognitive dimensions and structure maps. In D. DIAPER & N. V. HAMMOND, Eds. People and Computers VI: Usability Now!, Proceedings of HCI'91. Cambridge: Cambridge University Press.
18. GREEN, T. R. G., BELLAMY, R. K. & PARKER, J. (1987). Parsing and gnisrap: a model of device use. In G. OLSON, S. SHEPHERD & E. SOLOWAY, Eds. Empirical Studies of Programmers: Second Workshop, pp. 132-146. Norwood, NJ: Ablex Publishing Corporation.
19. GREEN, T. R. G., PETRE, M. & BELLAMY, R. K. (1991). Comprehensibility of visual and textual programs: a test of superlativism against the "match-mismatch" conjecture. In J. KOENEMANN-BELLIVEAU, T. MOHER & S. ROBERTSON, Eds. Empirical Studies of Programmers: Fourth Workshop, pp. 121-146. Norwood, NJ: Ablex Publishing Corporation.
20. HOOK, K., TAYLOR, J. & DU BOULAY, B. (1990). Redo "try once and pass": the influence of complexity and graphical notation on novices' understanding of Prolog. Instructional Science, 19, 337-360.
21. KESSLER, C. & ANDERSON, J. R. (1989). Learning flow of control: Recursive and iterative procedures. In E. SOLOWAY & J. SPOHRER, Eds. Studying the Novice Programmer. Hillsdale, NJ: Erlbaum.
22. LARKIN, J. H. (1989). Display-based problem solving. In D. KLAHR & K. KOVOSTSKY, Eds. Complex Information Processing: The Impact of Herbert A. Simon, pp. 319-341. London: Erlbaum.
23. LARKIN, J. H. & SIMON, H. A. (1987). Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11, 65-99.
24. LOOI, C. (1991). Automatic debugging of Prolog programs in a Prolog intelligent tutoring system. Instructional Science, 20, 215-263.
25. MANN, L. M., LINN, M. C. & CLANCY, M. (1994). Can tracing tools contribute to programming efficiency? the LISP evaluation modeller. Interactive Learning Environments, 4, 96-109.
26. MELLISH, C. (1984). Teach * tracer, part of University of Sussex Poplog Programming environment.
27. MULHOLLAND, P. (1994). The effect of graphical and textual visualisation on the comprehension of Prolog execution by novices: an empirical analysis. In 6th Workshop of the Psychology of Programming Interest Group, pp. 18-26. Open University.
28. MULHOLLAND, P. (1995). A framework for describing and evaluating software visualisation systems: a case-study in Prolog. Ph.D. Thesis, Knowledge Media Institute, Open University.
29. PAIN, H. & BUNDY, A. (1987). What stories should we tell novice Prolog programmers?. In R. HAWLEY, Ed. Artificial Intelligence Programming Environments. Chichester: Ellis Horwood.
30. PATEL, M. J., DU BOULAY, B. & TAYLOR, C. (1991a). Effect of format on information and problem solving. In Proceedings of 13th Annual Conference of the Cognitive Science Society, pp. 852-856, Chicago.
31. PATEL, M. J., DU BOULAY, B. & TAYLOR, C. (1991b). Prolog tracers and information access. In L. PRESS & J. GORNOSTAEV, Eds. Proceedings of the First Moscow HCI'91 Workshop, pp. 140-145. Moscow: International Centre for Scientific and Technical Information.
32. PATEL, M. J., DU BOULAY, B. & TAYLOR, C. (1994). Textual tree (Prolog) tracer: an experimental evaluation. In D. GILMORE, R. WINDER & F. DETIENNE, Eds. User-Centred Requirements for Software Engineering Environments, pp. 127-141. Berlin: Springer.
33. PETRE, M. & GREEN, T. R. G. (1990). Where to draw the line with text: some claims by logic designers about graphics in notation. In D. DIAPER, Ed. Proceedings of Human-Computer Interaction INTERACT'90, pp. 463-468. Amsterdam: North-Holland.
34. PRICE, B. A., BAECKER, R. M. & SMALL, I. S. (1993). A principled taxonomy of software visualization. Journal of Visual Languages and Computing, 4, 211-266.
35. RAJAN, T. (1991). An evaluation of APT: an animated program tracer for novice programmers. Instructional Science, 20, 89-110.
36. SCAIFE, M. & ROGERS, Y. (1996). External cognition: How do graphical representations work?. International Journal of Human-Computer Studies, 45, 185-213.
37. SHU, N. (1988). Visual Programming. New York: Van Nostrand Reinhold.
38. TAYLOR, C., DU BOULAY, B. & PATEL, M. J. (1991). Outline proposal for a Prolog 'Textual Tree Tracer' (TTT). Cognitive Sciences Research Paper 177, University of Sussex, Brighton, UK.
39. TAYLOR, C., DU BOULAY, B. & PATEL, M. J. (1994). Textual tree trace notation for Prolog: an overview. In R. M. BOTTINO, P. FORCHERI & M. T. MOLFINO, Eds. International Conference on Logic Programming ICLP'94: Post-Conference Workshop on Logic Programming and Education, Santa Margherita Ligure.