The transparent prolog machine : visualizing logic programs - Eisenstadt, Marc, 1947-; Brayshaw, Mike; Paine, Jocelyn (Oxford : Intellect, 1991)
Keywords: Prolog (Computer program language); Logic programming (Computer science)