The sequential Prolog interpreter

\label{code/P} .so P.i