<div class="notebook"> <div class="nb-cell program" name="p1"> max(A, B, A) :- A >= B. max(A, B, B) :- B >= A. </div> <div class="nb-cell query" name="q1"> max(3, 4, X) </div> <div class="nb-cell query" name="q2"> max(4, 4, X). </div> <div class="nb-cell query" name="q3"> max(5, 3, X). </div> </div>