adrianwong

husband(me, pretty_widow).
husband(my_dad, pretty_widow_daughter).

wife(X, Y) :- husband(Y, X).

father(me, bouncing_baby_boy).
father(my_dad, me).
father(my_dad, my_dad_new_son).

mother(pretty_widow, bouncing_baby_boy).

adrianwong

<script type="text/javascript">
  window.MathJax = {
    jax: ["input/TeX", "output/CommonHTML"],
    extensions: ["tex2jax.js"],
    TeX: {
      equationNumbers: { autoNumber: "AMS" },
      extensions: ["AMSmath.js", "AMSsymbols.js", "noErrors.js", "noUndefined.js"]
    },
    /* The MathJax API provides us with the ability to register
    callbacks on signals broadcast during its startup sequence.