A Prolog Implementation of a Large System on a Small Machine.

Lus Moniz Pereira, Antnio Porto

Browse the full ICLP paper archive.