Ciao Prolog on Ubuntu