<?xml version="1.0"?>

<rulebase>

<!-- Clocksin/Mellish sample rule -->

<imp>
 <_head>
  <atom>
    <_opr><rel>likes</rel></_opr>
    <ind>John</ind>
    <var>x</var>
  </atom>
 </_head>
 <_body>
  <atom>
    <_opr><rel>likes</rel></_opr>
    <var>x</var>
    <ind>wine</ind>
  </atom>
 </_body>
</imp>

<fact>
 <_head>
  <atom>
    <_opr><rel>likes</rel></_opr>
    <ind>Mary</ind>
    <ind>wine</ind>
  </atom>
 </_head>
</fact>

</rulebase>