JPL : Implementation of a Prolog System Supporting Incremental Tabulation