谓词表示法表示猴子摘香蕉_猴子妈妈有14个香蕉
表示 14 猴子 谓词 妈妈 表示法 香蕉
2023-06-13 09:14:50 时间
案例:
我们要实现以下步骤:让猴子得到香蕉,但是直接跳够不到,必须站在箱子上才能取到
这个案例共有以下几种情况,猴子香蕉箱子在同一处,猴子香蕉在同一处,香蕉箱子在同一出,还有三者均不在同一处,但不论是哪种情况,我们需要清楚一点就算是香蕉和猴子在同一位置,猴子也无法直接获得香蕉,因此我们第一步必须需要先找到箱子,然后再去搬着箱子移动到香蕉处。
本案例中有以下四个谓词逻辑:
- Run(monkey,box) 代表猴子去搬箱子
- Getbox(monkey,box) 代表猴子得到了箱子
- Run(monkey,banana) 代表了猴子搬着箱子去找香蕉
- Getbanana(monkey,banana) 代表猴子拿到了香蕉
代码(c语言版):
#include <stdio.h>
int main(){
void gobox(int a,int b);
void getbox();
void findbanana(int a,int b);
void getbanana();
int monkey,banana,box;
printf("请依次输入猴子,香蕉,箱子 的位置\n");
printf("猴子的位置:");
scanf("%d",&monkey);
printf("香蕉的位置:");
scanf("%d",&banana);
printf("箱子的位置:");
scanf("%d",&box);
printf("-----------------------------------\n");
if(monkey!=box){
printf("猴子够不到香蕉,要先去搬箱子:");
gobox(monkey,box);
getbox();
if(box!=banana){
printf("猴子需要搬着箱子去找到香蕉:");
findbanana(banana,box);
getbanana();
}else{
printf("香蕉就在箱子的上面\n");
getbanana();
}
}else{
printf("箱子就在猴子旁边,猴子拿到了箱子");
getbox();
if(box!=banana){
printf("猴子需要搬着箱子去找到香蕉:");
findbanana(banana,box);
getbanana();
}else{
printf("香蕉就在箱子的上面\n");
getbanana();
}
}
}
void gobox(int a,int b){
int flag;
flag = b - a;
if(flag>0){
printf("Run(monkey,box)\n");
printf("猴子需要向右移动%d步拿到箱子\n",flag);
}else{
printf("Run(monkey,box)\n");
printf("猴子需要向左移动%d步拿到箱子\n",flag);
}
}
void findbanana(int a,int b){
int flag;
flag=b-a;
if(flag>0){
printf("Run(monkey,banana)\n");
printf("猴子需要向左搬着箱子移动%d步找到香蕉\n",flag);
}else{
printf("Run(monkey,banana)\n");
printf("猴子需要向右搬着箱子移动%d步找到香蕉\n",flag);
}
}
void getbox(){
printf("猴子拿到了箱子:");
printf("Getbox(monkey,box)\n");
}
void getbanana(){
printf("猴子踩在箱子上拿到了香蕉:");
printf("Getbanana(monkey,banana)\n");
}
效果演示:
三者不在同一位置:
箱子和香蕉在同一位置:
三者均在同一位置:
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。