How to use this document: You only need to copy this file and run within the environment which Prolog interpreter has installed e.g. SWI-Prolog, Poplog Prolog, P ...