Added some test programs for prolog