Prolog as a Tool for Optimizing Prolog Unifiers.

Martin Nilsson

Browse the full ICLP paper archive.