Zur Logik Der Logik-Programmierung

Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er- ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicnt mehr aus dem Kopf gehen. Heute mochte ich die Frage erweitern: " . . . and given the ques- tion, is PROLOG the answer?". Die zweite Provokation hii.