整体思路
构建一个bot解决逻辑证明问题，要实现以下两个方面：
- 回答出使用的公理系统是什么。
- 给出一个命题完整的证明过程。
为了体验Coze的功能，在bot的实现上我有设计了一下，选取了两个部分来构建这个bot：
- 调用知识库回答
- 自定义plugin，实现API调用
基础配置流程
先创建一个bot，把它命名为命题逻辑。
bot可以引入三种额外的技能来辅助实现。接下来，我们就通过定义工作流和插件，实现新的功能。
工作流配置流程
新建一个工作流，设置工作流的触发条件：
建立知识库查询：
回到工作流约束输出，要求直接返回搜索结果：
插件配置流程
新建一个plugin，在这里对我们自定义的功能进行描述：
记得选取plugin创建是在IDE中编写的：
再进去之后，点击新建一个tool：
进入编辑界面，这里需要先安装好依赖包，这里我们只需要安装requests包：
要在元数据的位置，填写对输入和输出参数的描述，对二者进行约束：
把代码填写进来，运行程序进行测试，可以看到我们得到了正确的结果。
像我们这里面举得示例，可以看到给出了"A|-B->A"这个的证明过程，点击插件发布：
流程配置
在添加插件的页面选取我们刚刚创建好的插件“逻辑系统”：
在添加工作流的页面选取创建好的工作流“proofproposition”：
重新描述一下人设和回复逻辑，强调bot可以自主的判断什么时候调用工作流和插件：
和bot对话测试效果。询问使用的公理系统是什么，可以自主调用工作流进行回答。
给出两个证明题，自主调用了plugin给出证明过程。
示例一，命题是"|-A+B->B+A"
示例二，命题是"|-A*B->B*A"，bot输出显示是不正确的。
正确显示的返回结果应该如下，coze界面会对'*'显示进行修改：
BotID：7365543882794942498
