XSB/packages/pita/examples
