added several prolog examples