:- initialization(main). main :- phrase((fail,dump),Y).