Logic programming : formal methods and practical applications - Beierle, Christoph, 1954- (Elsevier, 1995)