ening search
procedure 
</li><li>sound negation-as-failure, that interacts appropriately with the
depth-bound 
</li><li>ask-the-user facilities
</li><li>assumables
</li></ul>
<p></p></div>
CILOG is a purely declarative representation and reasoning system.
It is intended as a pedagogical tool to present a simple logic that
can be used for AI problems. It is meant for programming in the small,
where you can axiomatize a domain, ask questions and debug the
knowledge base, without knowing how answers are produc