1 2 3 4 5 6 7 8 9 10 11 12
id = 119 group = 'lists' number = 26 visible = True facts = None solution = '''\ len([], 0). len([_|T], Len) :- len(T, LenT), Len is LenT + 1. '''