Prolog DIG Description Logic Interface Test (Localhost)