blob: 9202c2dc91ad2eed5b945df0380b55a6db3ed2d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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 = {}
|