Add, with permission, unit tests contributed by SICS as found on the Prolog ISO conformance testing framework written by Péter Szabó and Péter Szeredi