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>none<font color="#990000">,</font>none<font color="#990000">,</font>none<font color="#990000">],</font> <font color="#990000">[</font>none<font color="#990000">,</font>none<font color="#990000">,</font>none<font color="#990000">],</font><br/>	<font color="#990000">[</font>none<font color="#990000">,</font>none<font color="#990000">,</font>none<font color="#990000">]],</font> 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">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">H</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">C</font><font color="#990000">,</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">I</font><font color="#990000">),</font><br/>	<b><font color="#000000">frame_obj</font></b><font color="#990000">(</font><font color="#009900">I</font><font color="#990000">,</font><font color="#009900">I</font><font color="#990000">,</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">B</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">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> <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/>	<b><font color="#000000">owns_piece</font></b><font color="#990000">(</font><font color="#009900">C</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">),</font> <b><font color="#000000">at</font></b><font color="#990000">(</font><font color="#009900">F</font><font color="#990000">,</font><font color="#009900">G</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">E</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">I</font><font color="#990000">,</font><font color="#009900">J</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">E</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">L</font><font color="#990000">,</font><font color="#009900">M</font><font color="#990000">,</font><font color="#009900">B</font><font color="#990000">,</font><font color="#009900">E</font><font color="#990000">,</font><font color="#009900">N</font><font color="#990000">),</font><br/>	<b><font color="#000000">linear_obj</font></b><font color="#990000">(</font><font color="#009900">K</font><font color="#990000">,</font><font color="#009900">H</font><font color="#990000">,</font><font color="#009900">N</font><font color="#990000">).</font><br/></tt></pre><br/>');
