A Prolog Implementation of a Large System on a Small Machine