XSB/packages/flora2/demos
