Python でSICP4.3 Nondeterministic Computing - なつたんあれ、思ったより綺麗に書けたぞ。 # Amb evaluator # See http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-28.html#%_sec_4.3 # Global variable for amb evaluator amb_variable_name = [] amb_possible = [] def comb(lol): """ make all combination from a list of lists """ if not lol: yield [] else: for x in lol[0]: for y in comb(lol[1:]): yield [x] + y def amb(v, l): """ set global variable for amb evaluator """ amb_v
