:- module main. main :- unix:unix([stdio(normal(S))]), S = [fwrite("Hello world\n")].