diff --git a/library/gecode/gecode_yap.cc b/library/gecode/gecode_yap.cc
index 8d4d4f3de..51e0d4dd2 100644
--- a/library/gecode/gecode_yap.cc
+++ b/library/gecode/gecode_yap.cc
@@ -30,7 +30,6 @@ extern "C"
 namespace generic_gecode
 {
 #ifndef HAVE_DYNARRAY
-#error hello
   template <typename T> struct DynArray
   {
     T* _array;
@@ -715,6 +714,48 @@ extern "C"
     return YAP_Unify(result, YAP_MkIntTerm(x.regret_max()));
   }
 
+  static YAP_Functor gecode_COMMA2;
+
+  static int gecode_intvar_ranges(void)
+  {
+    YAP_Term result = YAP_ARG1;
+    GenericSpace* space = gecode_Space_from_term(YAP_ARG2);
+    IntVar x = gecode_IntVar_from_term(space, YAP_ARG3);
+    int n = 0;
+    { IntVarRanges it(x); while (it()) { ++n; ++it; } }
+    DYNARRAY(int,min,n);
+    DYNARRAY(int,max,n);
+    { IntVarRanges it(x); int i=0;
+      while (it()) { min[i]=it.min(); max[i]=it.max(); ++it; ++i; } }
+    YAP_Term lst = YAP_TermNil();
+    for (;n--;)
+      {
+	YAP_Term args[2];
+	args[0] = YAP_MkIntTerm(min[n]);
+	args[1] = YAP_MkIntTerm(max[n]);
+	YAP_Term range = YAP_MkApplTerm(gecode_COMMA2,2,args);
+	lst = YAP_MkPairTerm(range,lst);
+      }
+    return YAP_Unify(result,lst);
+  }
+
+  static int gecode_intvar_values(void)
+  {
+    YAP_Term result = YAP_ARG1;
+    GenericSpace* space = gecode_Space_from_term(YAP_ARG2);
+    IntVar x = gecode_IntVar_from_term(space, YAP_ARG3);
+    int n = x.size();
+    DYNARRAY(int,a,n);
+    { IntVarValues it(x); int i=0;
+      while (it()) { a[i]=it.val(); ++it; ++i; } }
+    YAP_Term lst = YAP_TermNil();
+    for (;n--;)
+      {
+	lst = YAP_MkPairTerm(YAP_MkIntTerm(a[n]),lst);
+      }
+    return YAP_Unify(result,lst);
+  }
+
   // INFO ON BOOLVARS
   static int gecode_boolvar_assigned(void)
   {
@@ -867,8 +908,6 @@ extern "C"
     return YAP_Unify(result, YAP_MkIntTerm(x.glbMax()));
   }
 
-  static YAP_Functor gecode_COMMA2;
-
   static int gecode_setvar_glb_ranges(void)
   {
     YAP_Term result = YAP_ARG1;
@@ -1056,6 +1095,8 @@ extern "C"
     YAP_UserCPredicate("gecode_intvar_width", gecode_intvar_width, 3);
     YAP_UserCPredicate("gecode_intvar_regret_min", gecode_intvar_regret_min, 3);
     YAP_UserCPredicate("gecode_intvar_regret_max", gecode_intvar_regret_max, 3);
+    YAP_UserCPredicate("gecode_intvar_ranges", gecode_intvar_ranges, 3);
+    YAP_UserCPredicate("gecode_intvar_values", gecode_intvar_values, 3);
     // INFO ON BOOLVARS
     YAP_UserCPredicate("gecode_boolvar_assigned", gecode_boolvar_assigned, 2);
     YAP_UserCPredicate("gecode_boolvar_min", gecode_boolvar_min, 3);
diff --git a/library/gecode/gecode_yap_hand_written.yap b/library/gecode/gecode_yap_hand_written.yap
index bc11628a8..a5fea2a79 100644
--- a/library/gecode/gecode_yap_hand_written.yap
+++ b/library/gecode/gecode_yap_hand_written.yap
@@ -522,6 +522,18 @@ get_unknown_values(X, Space, Var) :-
 	-> gecode_setvar_unknown_values(X,Space_,Var_)
 	; get_for_vars(X,Space,Var,gecode:get_unknown_values).
 
+get_ranges(X, Space, Var) :-
+	assert_is_Space(Space,Space_),
+	is_IntVar(Var,Var_)
+	-> gecode_intvar_ranges(X,Space_,Var_)
+	; get_for_vars(X,Space,Var,gecode:get_ranges).
+
+get_values(X, Space, Var) :-
+	assert_is_Space(Space,Space_),
+	is_IntVar(Var,Var_)
+	-> gecode_intvar_values(X,Space_,Var_)
+	; get_for_vars(X,Space,Var,gecode:get_values).
+
 new_disjunctor(X, Space) :-
 	assert_is_Space(Space,Space_),
 	gecode_new_disjunctor(D,Space_),
@@ -612,6 +624,8 @@ new_setvars_(L,Space,N,X1,X2) :- length(L,N), new_setvars(L,Space,X1,X2).
 (X := width(Space,Var)) :- !, get_width(X,Space,Var).
 (X := regret_min(Space,Var)) :- !, get_regret_min(X,Space,Var).
 (X := regret_max(Space,Var)) :- !, get_regret_max(X,Space,Var).
+(X := ranges(Space,Var)) :- !, get_ranges(X,Space,Var).
+(X := values(Space,Var)) :- !, get_values(X,Space,Var).
 
 (X := glbSize(Space,Var)) :- !, get_glbSize(X,Space,Var).
 (X := lubSize(Space,Var)) :- !, get_lubSize(X,Space,Var).