Uses of Class
alice.tuprolog.Prolog