Major functions I not long ago are planning to create a Prolog meta-interpreter with a particular set of features, but I'm starting to see that I don't have the theoretical understanding to work on it.I've bundled GIT during the listing of equipment as in order to obtain and Make the code, then you must pull of from Github.  I am going to present