A Classical Implementation for Prolog-II

Patrice Boizumault. A Classical Implementation for Prolog-II. 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 262-273, Springer, 1986.

Abstract

Abstract is missing.