#!/bin/sh exec /home/clip/bin/ciao-shell-1.10 $0 $* # -*- mode: ciao; -*- :- use_package([]). :- use_module(library(write)). main(_) :- write('Content-type: text/html'), nl, nl, write(''), write('Hello the world.'), write('').