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