Logic, programming and Prolog /
Nilsson, Ulf.
Maluszynski, Jan.
Chichester : Wiley,
c1990.
Includes index
Electronic digital computers
Logic, Symbolic and mathematical.