f(N):-N1 is N+2,between(1,N1,_). m:-prompt1(''),readln([W]),!,atom_length(W,L),N is L//4-2, a(' ','_','',L),a(/,' ',\,L), (f(N),a(|,' ',|,L),fail;true),!, p('| '),p(W),p(' |'),nl, (f(N),a(|,' ',|,L),fail;true),!, a(\,'_',/,L). p(X):-write(X). a(A,B,C,N):-p(A),f(N),p(B),fail;p(C),nl.