Logic programming : expanding the horizons /
Dodd, A.(Anthony),1952-
Owens, Richard.
Torrance, Steve.
Oxford : Intellect,
1991.
Includes bibliography and index
Electronic digital computers