A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.

Hai-Feng Guo, Gopal Gupta

Browse the full ICLP paper archive.