<div class="notebook"> <div class="nb-cell html" name="htm1"> Tests of using HTML with SVG </div> <div class="nb-cell html" name="htm2"> <table> <tbody><tr> <td style="text-align:left;vertical-align:top">a = a</td> <td style="text-align:left;vertical-align:top">π = π</td> <td style="text-align:left;vertical-align:top">☃ = ☃</td> </tr> <tr> <td style="text-align:left;vertical-align:top"> Unify: <font color="green">true</font><br> MGU: {} </td> <td style="text-align:left;vertical-align:top"> Unify: <font color="green">true</font><br> MGU: {} </td> <td style="text-align:left;vertical-align:top"> Unify: <font color="green">true</font><br> MGU: {} </td> </tr> <tr> <td style="text-align:left;vertical-align:top"> SWI-Prolog:<br> ?- =(a,a).<br> true. </td> <td style="text-align:left;vertical-align:top"> SWI-Prolog:<br> ?- =(π,π).<br> true. </td> <td style="text-align:left;vertical-align:top"> SWI-Prolog:<br> ?- =(☃,☃).<br> true. </td> </tr> <tr> <td style="text-align:center;vertical-align:top"> <svg width="134pt" height="44pt" viewBox="0.00 0.00 134.00 44.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 40)"> <title>unification_example_030</title> <polygon fill="white" stroke="none" points="-4,4 -4,-40 130,-40 130,4 -4,4"></polygon> <!-- node_1_1 --> <g id="node1" class="node"><title>node_1_1</title> <ellipse fill="none" stroke="black" cx="27" cy="-18" rx="27" ry="18"></ellipse> <text text-anchor="middle" x="27" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">a</text> </g> <!-- node_1_2 --> <g id="node2" class="node"><title>node_1_2</title> <ellipse fill="none" stroke="black" cx="99" cy="-18" rx="27" ry="18"></ellipse> <text text-anchor="middle" x="99" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">a</text> </g> </g> </svg> </td> <td style="text-align:center;vertical-align:top"> <svg width="134pt" height="44pt" viewBox="0.00 0.00 134.00 44.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 40)"> <title>unification_example_031</title> <polygon fill="white" stroke="none" points="-4,4 -4,-40 130,-40 130,4 -4,4"></polygon> <!-- node_1_1 --> <g id="node1" class="node"><title>node_1_1</title> <ellipse fill="none" stroke="black" cx="27" cy="-18" rx="27" ry="18"></ellipse> <text text-anchor="middle" x="27" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">π</text> </g> <!-- node_1_2 --> <g id="node2" class="node"><title>node_1_2</title> <ellipse fill="none" stroke="black" cx="99" cy="-18" rx="27" ry="18"></ellipse> <text text-anchor="middle" x="99" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">π</text> </g> </g> </svg> </td> <td style="text-align:center;vertical-align:top"> <svg width="134pt" height="44pt" viewBox="0.00 0.00 134.00 44.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 40)"> <title>unification_example_031_symbol</title> <polygon fill="white" stroke="none" points="-4,4 -4,-40 130,-40 130,4 -4,4"></polygon> <!-- node_1_1 --> <g id="node1" class="node"><title>node_1_1</title> <ellipse fill="none" stroke="black" cx="27" cy="-18" rx="27" ry="18"></ellipse> <text text-anchor="middle" x="27" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">☃</text> </g> <!-- node_1_2 --> <g id="node2" class="node"><title>node_1_2</title> <ellipse fill="none" stroke="black" cx="99" cy="-18" rx="27" ry="18"></ellipse> <text text-anchor="middle" x="99" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">☃</text> </g> </g> </svg> </td> </tr> </tbody></table> </div> </div>