The Transparent Prolog machine :
visualizing logic problems /
Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine.

Description

Viewability

Item Link Original Source
Limited (search only)   University of Michigan