document.write('<!-- Generator: GNU source-highlight 3.1<br/>by Lorenzo Bettini<br/>http://www.lorenzobettini.it<br/>http://www.gnu.org/software/src-highlite --><br/><pre><tt><b><font color="#000000">initial_board</font></b><font color="#990000">([[</font>x<font color="#990000">,</font>x<font color="#990000">,</font>x<font color="#990000">],[</font>none<font color="#990000">,</font>none<font color="#990000">,</font>none<font color="#990000">],[</font>o<font color="#990000">,</font>o<font color="#990000">,</font>o<font color="#990000">]],</font><br/>	player<font color="#009900">_</font>x<font color="#990000">).</font><br/><br/><b><font color="#000000">legal_move</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">)</font> <font color="#990000">:-</font> <b><font color="#000000">row</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">),</font> <b><font color="#000000">col</font></b><font color="#990000">(</font><font color="#009900">E</font><font color="#990000">),</font> <b><font color="#000000">owns</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">),</font><br/>	<b><font color="#000000">empty</font></b><font color="#990000">(</font><font color="#009900">G</font><font color="#990000">),</font> <b><font color="#000000">forward</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><br/>	<font color="#009900">H</font><font color="#990000">,</font><font color="#009900">D</font><font color="#990000">),</font> <b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">I</font><font color="#990000">),</font> <b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">,</font><font color="#009900">J</font><font color="#990000">),</font><br/>	<b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">,</font><font color="#009900">K</font><font color="#990000">),</font> <b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">,</font><br/>	<font color="#009900">E</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">L</font><font color="#990000">),</font> <b><font color="#000000">frame_obj</font></b><font color="#990000">(</font><font color="#009900">I</font><font color="#990000">,</font><font color="#009900">K</font><font color="#990000">,</font><font color="#009900">J</font><font color="#990000">,</font><font color="#009900">L</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">).</font><br/><b><font color="#000000">legal_move</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">)</font> <font color="#990000">:-</font> <b><font color="#000000">row</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">),</font> <b><font color="#000000">col</font></b><font color="#990000">(</font><font color="#009900">E</font><font color="#990000">),</font><br/>	<b><font color="#000000">opponent</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">),</font> <b><font color="#000000">owns</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">),</font><br/>	<b><font color="#000000">empty</font></b><font color="#990000">(</font><font color="#009900">H</font><font color="#990000">),</font> <b><font color="#000000">forward</font></b><font color="#990000">(</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">D</font><font color="#990000">,</font><font color="#009900">I</font><font color="#990000">),</font> <b><font color="#000000">owns</font></b><font color="#990000">(</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">J</font><font color="#990000">),</font><br/>	<b><font color="#000000">sideways</font></b><font color="#990000">(</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">K</font><font color="#990000">),</font><br/>	<b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">I</font><font color="#990000">,</font><font color="#009900">K</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">,</font><font color="#009900">L</font><font color="#990000">),</font> <b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">I</font><font color="#990000">,</font><font color="#009900">K</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">M</font><font color="#990000">),</font><br/>	<b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">,</font><font color="#009900">N</font><font color="#990000">),</font> <b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><br/>	<font color="#009900">J</font><font color="#990000">,</font><font color="#009900">O</font><font color="#990000">),</font> <b><font color="#000000">frame_obj</font></b><font color="#990000">(</font><font color="#009900">L</font><font color="#990000">,</font><font color="#009900">O</font><font color="#990000">,</font><font color="#009900">M</font><font color="#990000">,</font><font color="#009900">N</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">).</font><br/><br/><b><font color="#000000">outcome</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">)</font> <font color="#990000">:-</font> <b><font color="#000000">row</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">),</font> <b><font color="#000000">opponent</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">),</font><br/>	<b><font color="#000000">forward</font></b><font color="#990000">(</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">D</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">),</font> <b><font color="#000000">forward</font></b><font color="#990000">(</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">),</font><br/>	<b><font color="#000000">owns_outcome</font></b><font color="#990000">(</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">),</font> <b><font color="#000000">owns_piece</font></b><font color="#990000">(</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">H</font><font color="#990000">),</font><br/>	<b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">G</font><font color="#990000">,</font><font color="#009900">I</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">J</font><font color="#990000">).</font><br/><b><font color="#000000">outcome</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">)</font> <font color="#990000">:-</font> <b><font color="#000000">opponent</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">D</font><font color="#990000">),</font><br/>	<b><font color="#000000">has_no_move</font></b><font color="#990000">(</font><font color="#009900">A</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">),</font> <b><font color="#000000">owns_outcome</font></b><font color="#990000">(</font><font color="#009900">D</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">).</font><br/></tt></pre><br/>');
