Applications written with Ciao Prolog