Cardinality Analysis of Prolog

C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck. Cardinality Analysis of Prolog. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 457-471, 1994.

Abstract

Abstract is missing.