summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/len_2/common.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/len_2/common.py')
-rw-r--r--prolog/problems/lists/len_2/common.py12
1 files changed, 12 insertions, 0 deletions
diff --git a/prolog/problems/lists/len_2/common.py b/prolog/problems/lists/len_2/common.py
new file mode 100644
index 0000000..62be9cc
--- /dev/null
+++ b/prolog/problems/lists/len_2/common.py
@@ -0,0 +1,12 @@
+id = 119
+group = 'lists'
+number = 26
+visible = True
+facts = None
+
+solution = '''\
+len([], 0).
+len([_|T], Len) :-
+ len(T, LenT),
+ Len is LenT + 1.
+'''