This is a mini prolog interpreter written my Mark Jones.  It
was slightly adapted from version in the hbc release.