An And-Parallel Execution Model of Logic Programs

Bernd Schwinn, Gerhard Barth. An And-Parallel Execution Model of Logic Programs. In Bernard Robinet, Reinhard Wilhelm, editors, ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings. Volume 213 of Lecture Notes in Computer Science, pages 289-300, Springer, 1986.

Abstract

Abstract is missing.