Computing in Horn clause theories
By: Peter Padawitz.
Series: EATCS monographs on theoretical computer science ;; v. 16
Publisher: Springer-Verlag
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 322
Subjects: Logic programming.; Horn clauses.
Notes: Bibliography: p. [307]-316.
Includes indexes.