<div class="notebook">

<div class="nb-cell program" name="p1">

:- begin_tests(basic).

test(01) :-
    assertion( 1 == 1 ).

:- end_tests(basic).
</div>

</div>