Logic programming
Subtitle: systematic program development
By: Yves Deville.
Series: International series in logic programming
Publisher: Addison-Wesley
Published: 1990
Place of publication: Wokingham, England; Reading, Mass
Language: eng
Number of pages: 338
Subjects: Logic programming.
Notes: Includes bibliographical references (p. 315-329).