cd .. swipl -g '[demos],demo(w5),halt'