Abstract. The performance of logic programs can be signifi- cantly improved by reducing nondeterminism in their evaluation using techniques for early ...

Abstract: The performance of logic programs can be significantly improved by reducing nondeterminism in their evaluation using techniques for early pruning ...

Abstract. The performance of logic programs can be signi cantly improved by reducing nondeterminism in their evaluation using techniques for early pruning ...

Abstract. The performance of logic programs can be signifi- cantly improved by reducing nondeterminism in their evaluation using techniques for early ...

The performance of logic programs can be significantly improved by reducing nondeterminism in their evaluation using techniques for early pruning of ...

The performance of logic programs can be significantly improved by reducing nondeterminism in their evaluation using techniques for early pruning of ...

PDF | The performance of logic programs can be significantly improved by reducing nondeterminism in their evaluation using techniques for early pruning.

Tabled evaluation is a novel technique for evaluating logic programs ... A Conservative Technique to Improve Deterministic Evaluation of Logic Programs, Intl.

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.A. Roychoudhury, C. Ramakrishnan, I. Ramakrishnan, and R. Sekar. ICCL, page ...

This paper describes how programs may be analyzed statically to determine which literals and predicates are functional, and how the program may then be ...