<div class="notebook"> <div class="nb-cell query" name="q1"> dif(A,[_|B]),A=[[]|_],A=[B]. </div> </div>