summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/len_2
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-08-18 16:06:19 +0200
committerAleš Smodiš <aless@guru.si>2015-08-18 16:06:19 +0200
commit95e2fe57f6e4639f6ae9f1fef368829d5090dbf6 (patch)
tree462ba05eb0c4732ca1c97739548801258bf47b40 /prolog/problems/lists/len_2
Exported all problems from the SQLite database into the new directory structure.
Diffstat (limited to 'prolog/problems/lists/len_2')
-rw-r--r--prolog/problems/lists/len_2/common.py12
-rw-r--r--prolog/problems/lists/len_2/en.py12
2 files changed, 24 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.
+'''
diff --git a/prolog/problems/lists/len_2/en.py b/prolog/problems/lists/len_2/en.py
new file mode 100644
index 0000000..b3e277c
--- /dev/null
+++ b/prolog/problems/lists/len_2/en.py
@@ -0,0 +1,12 @@
+id = 119
+name = 'len/2'
+slug = 'find the length of a list'
+
+description = '''\
+<p><code>len(L, Len)</code>: <code>Len</code> is the length of the list <code>L</code>.</p>
+<pre>
+ ?- len([1,2,3], Len).
+ Len = 3.
+</pre>'''
+
+hint = {}