Determinacy Analysis for Full Prolog

A method for determinacy analysis for full Prolog, including cut, is described. The method is used when estimating whether a predicate may fail or generate one or several solutions. Its main use is to facilitate the handling of cut in the partial evaluator Mixtus,