The transparent Prolog machine : visualizing Logic programs /
Eisenstadt, Marc,1947-
Brayshaw, Mike.
Paine, Jocelyn.
Oxford : Intellect,
1991.