<div class="notebook">

<div class="nb-cell program" name="p1">
% Prolog example from https://www.tutorialspoint.com/prolog/prolog_relations.htm

% Facts
female(liz).
female(pat).
male(jim).
male(peter).
parent(pat,jim).
parent(peter,jim).
%Rules
mother(X,Y):- parent(X,Y),female(X).
</div>

<div class="nb-cell query" data-run="onload" name="q3">
mother(pat,X).
</div>

<div class="nb-cell query" data-chunk="2" data-run="onload" name="q2">
mother(X,jim).
</div>

</div>