Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings - Paperback

by Peter Schroeder-Heister (Editor)

This volume contains papers presented at an international workshop. It gives an overview of various approaches to extending logic programming, concentrating on proof-theoretic extensions developed recently, which put a new emphasis on hypothetical reasoning.