<div class="notebook"> <div class="nb-cell program" name="p1"> t(G) :- ( call_cleanup(G, Det=true), ( Det == true -> true ; throw(error(multi(G), _)) ) -> true ; throw(error(failed(G), _)) ). foo(a, 1). foo(b, 2). foo(a, 3). </div> <div class="nb-cell query" data-tabled="true" name="q1"> t(true). </div> <div class="nb-cell query" name="q4"> t(foo(a, Z)). </div> <div class="nb-cell query" name="q5"> t(foo(b, Z)). </div> <div class="nb-cell query" name="q6"> t(foo(c, Z)). </div> <div class="nb-cell query" data-tabled="true" name="q2"> t(false). </div> <div class="nb-cell query" data-tabled="true" name="q3"> t(repeat). </div> </div>