Added prolog support