def add(n):
yield n
for m in add(n+1):
yield m
С помощью рекурсивных генераторов легко создавать сложные средства отслеживания:
def resolve(db, goals, cut_parent=0):
try:
head, tail = goals[0], goals[1:]
except IndexError:
yield {}
return
try:
predicate = (
deepcopy(clause)
for clause in db[head.name]
if len(clause) == len(head)
)
except KeyError:
return
trail = []
for clause in predicate:
try:
unify(head, clause, trail)
for each in resolve(db, clause.body, cut_parent + 1):
for each in resolve(db, tail, cut_parent):
yield head.subst
except UnificationFailed:
continue
except Cut, cut:
if cut.parent == cut_parent:
raise
break
finally:
restore(trail)
else:
if is_cut(head):
raise Cut(cut_parent)
...
for substitutions in resolve(db, query):
print substitutions
Это движок Prolog, реализованный рекурсивным генератором. DB - это диктат, представляющий базу данных Prolog о фактах и правилах. unify () - это функция объединения, которая создает все замены для текущей цели и добавляет изменения в трейл, чтобы их можно было отменить позже. restore () выполняет отмену, а is_cut () проверяет, является ли текущая цель '!', так что мы можем выполнить обрезку ветвей.