LPS interpreter implemented using XSB Prolog!