登录
首页 » 云计算 » 在 Lisp 中的 Unifcate

在 Lisp 中的 Unifcate

于 2023-01-25 发布 文件大小:1.65 kB
0 308
下载积分: 2 下载次数: 1

代码说明:

泛型函数统一是统一机械中的入口点。它需要两个 CL 对象、 对象 1 和 object2,并检查是否他们可以统一通过构建统一变量出现的每个对象分配适当的值 (可能为空) 一致替换。规则 》 所进行的统一进程都依赖的两个对象的类型。已知的规则"已知方法"部分所述。统一需要作为可选参数的一种替代。默认值是通过调用使-空-环境的一种新鲜的空替代。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 云盘源码
    ./docs 目录是PHPDisk的说明文件 ./upload 目录是PHPDisk的程序文件 ./readme.txt 是当前这个文本文件 请上传 upload 目录到您的服务器中,并确认能以 http://yoursite/ 的方式访问,运行后系统会引导用户安装此系统。
    2022-05-15 18:56:11下载
    积分:1
  • Online Compiler
    cloudide是一个在线编译器,在线运行c、c++、java代码。您将只需要浏览器和互联网连接。!!!
    2022-04-18 00:39:01下载
    积分:1
  • 并行编程的CA模型
    这是通过CA模型进行并行化处理的工具,通过该库可以知道CA模型可以应用游戏中,类似游戏一下进行改动。里面源代码都是通过C++写的非常的清晰可靠
    2022-02-12 22:51:31下载
    积分:1
  • 自动通过 python 来恢复在 vCloud 中的多个虚拟机。
    自动通过 python 来恢复在 vCloud 中的多个虚拟机。 这是非常有用的测试自动化中,只是调用该脚本会自动还原您的目标测试机要干净的状态。 这一方案使用 vCloud API 1.5 Vmware(A RESTful api) 若要使用它,只是修改 config.ini 文件,像这样 ______________________________________________________________________________________ [] GlobalSettings HOSTADDR = https://10.204.17.47-> 用于的 IP 地址 用户名 = evilisn_jiang-用户名 > 登录,将需要为第一次使用 passwd
    2022-07-20 22:27:09下载
    积分:1
  • 作业分配
    应用背景麻省理工学院的许可证(麻省理工)版权所有(2000)罗伯特和公司的;&;&;&;&;&;&;&;&;和公司;及;及;及;及;及;及;及;及;及;及; ; ; ; ; ; ; ; ; ; ; ; ;默里,肯塔基在此授予的权限,免费的,任何人获得的副本本软件和相关文档文件(“软件”),以处理在软件中不受限制,包括不受限制的权利 ; ;使用,复制,修改,合并,发布,分发,许可,和/或出售并将软件复制到该软件的副本,并允许该软件的人提供这样做的,受以下条件:以及上述版权声明和本许可通知应包括在内与软件的副本或实质部分。该软件提供“是”,没有任何形式的保证,明示或 ; ;暗示的,包括但不限于适销性的保证, ; ;为特定目的和不侵权的健身。在任何情况下,不得作者或著作权人应承担任何索赔,损害赔偿或其他责任,无论是在合同的行为,侵权行为或其他,而产生的,或与该软件或使用或其他交易中的与软件开发。关键技术本公司已同意,免费向任何人获得本公司的复印件本软件和相关文档文件(“软件”),以处理在软件中不受限制,包括不受限制的权利 ; ;使用,复制,修改,合并,发布,分发,许可,和/或出售并将软件复制到该软件的副本,并允许该软件的人提供这样做的,受以下条件:
    2023-02-20 16:25:03下载
    积分:1
  • 可基于内存亦可持久化的日志型、Key-Value 高性能数据库
    redis是一个key-value存储系统。和Memcached类似,它支持存储的value类型相对更多,包括string(字符串)、list(链表)、set(集合)、zset(sorted set --有序集合)和hash(哈希类型)。这些数据类型都支持push/pop、add/remove及取交集并集和差集及更丰富的操作,而且这些操作都是原子性的。在此基础上,redis支持各种不同方式的排序。与memcached一样,为了保证效率,数据都是缓存在内存中。区别的是redis会周期性的把更新的数据写入磁盘或者把修改操作写入追加的记录文件,并且在此基础上实现了master-slave(主从)同步。 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报 打分 发表评论 暂无评论
    2022-11-24 16:05:03下载
    积分:1
  • 计算三维散乱点云的曲率,包括主曲率,高斯曲率和平均曲率
    计算三维散乱点云的曲率,包括主曲率,高斯曲率和平均曲率,内有供测试的三维坐标点数据。File Description: MLS_curvature_computing.m: main function for curvature computing. MLS_demo.m: a demo for direct computing of point-set surface curvatures. MLS_energy.m: calculate the energy value of a given point. MLS_projection.m: project a point onto the MLS surface defined by input points. nearestneighbour.m: find nearest neighbour points for a given point. demo_evaluation_data.txt: evaluation point data.                      file format:                      x-coordinate y-coordinate z-coordinate                      ... demo_input_data.txt:
    2022-07-27 01:48:54下载
    积分:1
  • 大数据高并发web快速开发框架
    资源描述 开发框架,集数据库设计、软件建模、模型自动生成、界面可视化设计、业务流可自定义、全自动生成用户所需系统于一体。在此框架上扩展出所有行业的业务系统,它让软件工程师从“建模——写代码——测试”所有繁琐重复的工作变为全自动化生成,大大简化了企业软件的开发时间和成本; 功能描述: 1、自动建模    框架内部带有虚拟数据库系统,用户可在虚拟数据库上创建表、字段、表间关联,企业根据自己的具体业务需求构建合适的数据库架构,即通过自动化实现销售业务人员将能完成DBA的工作。业务流程将变成企业自定义。 2、自定义对象    对应于虚拟数据库上创建表、字段、表间关联,用户可自定义对象、对象属性、对象关联。奠定了可以扩展出符合所有行业所有业务系统可能性。 3、窗体表单可视化设计    通过拖拽拉的方式,业务人员即可创建软件使用界面,把界面关联起来即可实现不用编码就能创建所需的业务系统。 4、全自动创建子系统    管理员在后台通过创建对象、创建窗体,并集成成一个子系统,普通使用人员就能使用子系统进行工作,不需额外开发工作。
    2022-06-28 05:05:26下载
    积分:1
  • 十分士大夫似的
         主要是对ENC28J60的驱动,使在FPGA中的SOPC_BUILED中建立的以SPI为接口的,该程序容易移植,结构清楚,难得一见,非常好用,是技术人员不可或缺的竟声 上 的的;拉近乎的摸破怕的哀怜环节话几哦哦 了
    2023-09-06 19:50:02下载
    积分:1
  • 学校登记制度
    PHP中的学校信息系统,为学生注册和学校管理系统…这仅仅是保持忙碌,检查自述文件的更多细节
    2023-01-24 12:55:04下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载