<div class="notebook"> <div class="nb-cell program" name="p1"> :- begin_tests(basic). test(01) :- assertion( 1 == 1 ). :- end_tests(basic). </div> </div>
<div class="notebook"> <div class="nb-cell program" name="p1"> :- begin_tests(basic). test(01) :- assertion( 1 == 1 ). :- end_tests(basic). </div> </div>