A portfolio of Prolog Programs