a prolog interpreter rough implementation - View it on GitHub