A Very Intelligent Backtracking Method for Logic Programs

Christian Codognet, Philippe Codognet, Gilberto Filé. A Very Intelligent Backtracking Method for 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 315-326, Springer, 1986.

Abstract

Abstract is missing.