Computing with logic : logic programming with Prolog /
Maier, David,1953-
Warren, David S.
Menlo Park, Calif. : Benjamin/Cummings Pub. Co.,
c1988.
Includes bibliographies and index.
Prolog (Computer program language)
Logic programming.