main(_) :- write('Content-type: text/html'), nl, nl, write('<HTML>'), write('Hello <B>world</B>.'), write('</HTML>'), nl.
?:- save('hello_world'), main(_), halt.