If anyone is interested in implementing a mini prolog interpreter...I made a toy one in python which you can find here: https://github.com/photonlines/Python-Prolog-Interpreter