Próbowałem zrozumieć, w jaki sposób wytworzyć serię wartości z predykatu Prologu podczas śledzenia wstecznego. Wbudowany predykatbetween/3 generuje wszystkie liczby całkowite w zakresie po jednym na raz, więc przykład, jak to jest napisane, może mi pomóc w moim zadaniu.

Szukałem implementacji w istniejącym systemie Prolog, ale implementacjębetween/3 dla GNU Prolog jest funkcją C, a sztuczka polega na tym, że wywołuje inną funkcję C „Pl_Create_Choice_Point”, która pozwala mu na tworzenie dodatkowych wartości podczas śledzenia wstecznego.