added some prolog examples