用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。
标签： 表示法
上传时间： 2014-01-18
上传用户：star_in_rain
硬盘坏道自己修 ........非常不错啊
标签： 硬盘坏道
上传时间： 2014-01-23
上传用户：chens000
在线文件管理器 修正版 asp数据
上传时间： 2013-11-25
上传用户：sammi
教师查找学生的成绩的applet的小程序: 1. 当教师从选择框中选择了某学员的姓名后,它将显示该学员的已考试及格的课程以及相应的考试成绩列表. 2. 当教师按下”未修课程 Missing Modules”按钮时,该学员的尚未完成的所有的课程的列表便显示出来. 3. 而当教师按下”免修课程 Exempted Modules”按钮时,便显示该学员的所有的面修课程的列表. 4. 所有的列表均必须按字母的顺序显示.
上传时间： 2015-02-24
上传用户：csgcd001
鄂尔多斯建站网全站程序(冬季修正版)
上传时间： 2014-11-24
上传用户：D&L37
维 修 管 理 系 统
标签：
上传时间： 2014-12-06
上传用户：asdkin
培训信息发布php系统最新修正版
上传时间： 2015-03-09
上传用户：rocketrevenge
900mm天空下载小偷系统最终修正版 很好的下载系统
上传时间： 2015-03-20
上传用户：evil
此软件是纯dos下运行 接一个待修的硬盘，软驱或者光驱启动 打hp执行，4次回车，然后按alt＋m 按R 按o 回车就行了，等着他自动修理了吧
上传时间： 2015-03-29
上传用户：royzhangsz
数字时钟也是用汇编语言实现的,是上一个时钟程序的改版.它们在功能是一样的,大家可以仔细阅读加以比较,看看它们的异同.
上传时间： 2014-01-19
上传用户：Shaikh
