Implementation of prologSpec