Comparison of Contrasting Prolog Trace Output Formats

Patel, M.J., du Boulay, J.B.H. and Taylor, C. (1997) Comparison of Contrasting Prolog Trace Output Formats. International Journal of Human-Computer Studies, 47 (2). pp. 289-322. ISSN 1071-5819

Full text not available from this repository.


This paper reports on a comparative study of three Prolog trace packages. Forty-three students of an introductory Prolog course solved five different Prolog programming problems in each of three different conditions (using isomorphic problem variants to disguise recurring tasks). Each of the three conditions provided subjects with static screen-snapshot-mockups derived from one of three different trace packages (“conventional” Spy; “graphical AND/OR tree-based” TPM*; “informative textual” EPTB). When traces explicitly displayed the information asked for in the problem, subjects solved the problems more quickly. Conversely, when trace output obscured the required information (or necessitated difficult detective work to uncover the information), solution times were longer and answers less accurate. Deciding on a “good” format for display is thus a task-dependent decision, and impacts directly on the user's cognitive ability to solve a problem.

Item Type: Article
Keywords: Prolog, tracers
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Chris Keene
Date Deposited: 19 Feb 2008
Last Modified: 30 Nov 2012 16:51
Google Scholar:14 Citations
📧 Request an update