<div class="notebook">

<div class="nb-cell markdown" name="md1">
## 04.01. Syntaktisch wohlgeformte Liste

Welche der folgenden Ausdrücke sind syntaktisch wohlgeformte Listen in Prolog?
Wie lang sind die Listen?
</div>

<div class="nb-cell markdown" name="md2">
[1|[2,3,4]]  
    
    [1,2,3|[]]    
    
    [1|2,3,4]    
    
    [1|[2|[3|[4]]]]    
    
    [1,2,3,4|[]]   
   
    [[]|[]]   
    
    [[1,2]|4]   
    
    [[1,2],[3,4]|[5,6,7]]``
</div>

<div class="nb-cell markdown" name="md3">
Mit `is_list/1` kann man überprüfen, ob ein Term eine Liste ist.
</div>

<div class="nb-cell query" name="q2">
is_list([1|[2,3,4]]).
</div>

<div class="nb-cell query" name="q3">
is_list([1,2,3|[]]).
</div>

<div class="nb-cell query" name="q4">
is_list([1|2,3,4]).
</div>

<div class="nb-cell query" name="q5">
is_list([1|[2|[3|[4]]]]).
</div>

<div class="nb-cell query" name="q6">
is_list([1,2,3,4|[]]).
</div>

<div class="nb-cell query" name="q7">
is_list([[]|[]]).
</div>

<div class="nb-cell query" name="q8">
is_list([[1,2]|4]).
</div>

<div class="nb-cell query" name="q9">
is_list([[1,2],[3,4]|[5,6,7]]).
</div>

<div class="nb-cell markdown" name="md4">
Mit `length/2` kann man sich die Länge einer Liste ermitteln lassen. Ihr könnt hier auch die anderen Listen testen.
</div>

<div class="nb-cell query" name="q1">
length([[1,2],[3,4]|[5,6,7]], LENGTH).
</div>

</div>