I wrote this in the late 1980's. I simplified matters by using Lisp-Like Syntax
It's a minimalist interpreter of Prolog.
You can use it for anything you want, even Microsoft used it for the Windows NT network configurator.
This is pretty much the original distribution.
Download zip file here