Logic programming, functions, relations, and equations
By: [edited by] Doug DeGroot, Gary Lindstrom.
Contributors: DeGroot, Doug.; Lindstrom, Gary.
Publisher: Prentice-Hall
Published: 1986
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 533
Subjects: Logic programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies and index.