Merge "Limit number of reductions made by Prolog"