Loop checking in logic programming
By: R.N. Bol.
Contributors: Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Series: CWI tract -- 112.
Publisher: CWI
Published: 1995
Place of publication: Amsterdam, the Netherlands
Language: eng
Number of pages: 198
Subjects: Logic programming.
Notes: Includes bibliographical references (p. 185-190) and index.