Logic programming : formal methods and practical applications - Beierle, Christoph, 1954-; Plumer, Lutz, 1951- (Studies in computer science and artificial intelligence, 1995)