Prolog1/MarkJones: pure engine