ISBN-13: 9789048155262, 978-9048155262. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The book can also be used as an introduction to these logical systems form a procedural perspective.