Computing in Horn Clause Theories

• Main Author: Padawitz, Peter (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1988
• Series: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa 16
• Subjects: COMPUTER PROGRAMMING; HORN CLAUSES; LOGIC PROGRAMMING; ΕΣΑ