School of Computing

Comparison of Contrasting Prolog Trace Output Formats

M.J. Patel, J.B.H. du Boulay, and C. Taylor

International Journal of Human-Computer Studies, (47):182-196, January 1997.

Abstract

This paper reports on a comparative study of three Prolog trace packages. 43 students of an introductory Prolog course solved 5 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 tracers 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.

Download publication 504 kbytes (PDF)

Bibtex Record

@article{1000,
author = {M.J. Patel and J.B.H. du Boulay and C. Taylor},
title = {{Comparison of Contrasting Prolog Trace Output Formats}},
month = {January},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/1000},
    journal = {International Journal of Human-Computer Studies},
    number = {47},
    publication_type = {article},
    submission_id = {24786_951743690},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014