lor:white"></i></button>
    </div>
    <div class="card-body">
        <p class="card-text">

Write out the axioms required for reasoning about the wumpus’s location,
using a constant symbol ${Wumpus}$ and a binary predicate
${At}({Wumpus}, {Location})$. Remember that there is only one
wumpus.
</p>
    </div>
</div>

<p><br /></p>

<div class="card">
    <div class="card-header p-2">
        <a href="ex_23/" class="p-2">Exercise 23 </a>
        <button type="button" class="btn btn-dark float-right" title