<div class="notebook">

<div class="nb-cell program" name="p1">
add(2, 2, C) :- !, C = 5.
add(A, B, C) :- C is A + B.
</div>

<div class="nb-cell query" name="q1">
add(2, 2, 5).
</div>

<div class="nb-cell query" name="q2">
add(2, 2, 4).
</div>

<div class="nb-cell query" name="q3">
add(2, 3, 5).
</div>

</div>