XSB/examples/xmc/Sieve
