<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>