[简介] 列表是Prolog编程中常用的一种重要的递归数据结构 列表是一个有限的元素序列 实例: 所有Prolog术语都可以是列表的元素,一个非空的List应该含有两个元素:头元素(Head)和尾元素(tail) 头是指List中的第一个元素,除去头都是尾 "列表的尾部也总是一个列表 / The tail of a list is always a list" 空List无头无尾 [操作:分割] Prolog有一个特殊的内置操作符|,它可以用来将列表分解为它的头部和尾部,|操作符是编写…

[ProLog中的递归] 如果递归中的一个或多个规则引用谓词本身,则对该谓词使用"递归"定义 在使用时,这往往像一条食物链或者族谱的构成(A的爸爸的爸爸,即A的爷爷,是A的长辈) 比如下面这个例子: 在这个例子中,我们只是设计了两级的后代判断,也就是child的child,进行三级的判断就会报出No 对于这个,我们有两种解决方案,一种是简单粗暴的加判断,显然这是很麻烦且没办法推广的(族谱有100代程序员岂不是要写死了?) 其二,就是利用"递归",对"后代&…

[G-BLASTN 1.0正式发布]G-BLASTN使用GPU来加速NCBI-BLAST里的BLASTN模块,单块GTX780比四核CPU平均快6倍. http://www.comp.hkbu.edu.hk/~chxw/software/G-BLASTN.html 基于NCBI的BLAST源代码进行修改,150多万行的开源代码,刚开始做的时候,并没有引起太多的注意,只是觉得工程庞大,越到后面,越觉得,这个东西太庞大了,里面参杂了C和C++的不同方式的设计模式,找一个功能实现,可能需要翻阅20-3…

[术语统一 terms unify] 两者统一,只需满足下面两条件之一 1.原本就是相同的 2.包含变量,这些变量可以用术语统一实例化,从而得到相等的术语 mia和mia是统一的,42和42是统一的,woman(mia)和woman(mia)是统一的 woman(mia)和woman(jody)不是统一的 [实例化 Instantiations] 当Prolog统一两个术语时,它会执行必要的实例化,以便在之后的操作中,二者相等 1.如果T1和T2是常数,如果它们是相同的原子,或者相同的数,那么T…

[概述] Prolog的语法与其它常用语言(如C,JAVA等)不同,它更接近于自然语言. [实例] 当我想表示"Mia是以女人"这个事实(之后会提到事实这个概念)的时候,我可以这么写 woman(mia). 这个格式代表这一个事实,a(b). b是a 事实上命名没什么要求,只要你自己记得就好 当我想要知道某个问题的答案,我就可以通过-?对其进行问询,比如 woman(mia). -? woman(mia). yes 这就是使用Prolog的一个简单的例子 [常量和变量] Prolog常…

形式1 REGISTER("SAMPLE.DLL", "MyFunction", "AIC") 形式1等效 VBA语句 Declare Function MyFunction Lib "SAMPLE.DLL" _ (ByVal a As Integer, ByVal s As String) As Boolean 注册一个DLL或代码资源中的函数,然后此函数就可以被 Excel 4.0 宏语言调用. 形式2 REGISTER(…

REGISTER.ID 返回指定的 DLL 或 代码资源注册过的函数 ID.如果 DLL 或 代码资源没有注册,这个函数将会注册它们,并返回 注册ID. REGISTER.ID 可以用于工作表(不同于 REGISTER函数),但你不能在 REGISTER.ID 中指定函数名称和参数名称.更多关于 DLL 和代码资源以及数据类型的介绍,请查看 "使用 CALL 和 REGISTER 函数" 注意 因为 Windows 上的 Excel 程序和 苹果机上的 Excel 程序使用了不同的代码…

一.概述 学习<精通Spring MVC4>书籍笔记 二.笔记 1.快速构建Spring starter web项目几种方式 1>使用Spring Tool Suite生成Starter代码:sts是集成的eclipse工具,下载地址:https://spring.io/tools3/sts/all 2>使用 idea 14版本以上 3>使用站点:https://start.spring.io/ 配置后下载zip文件 4>使用https://start.spring.i…

Description 给定一个长度为 \(n\) 的序列 \(A\),有 \(m\) 次操作,每次要么在序列尾部再添加一个数,将序列长度 \(n\) 加一,要么给进行一次查询,给定查询参数 \(l,~r,~x\) 要求在 \([l,~r]\) 内找一个位置 \(p\),要求最大化 \(x~~xor ~~Xor_{i = p}^{n} A_i\). Limitation \(1 \leq n,~m \leq 3 \times 10^5\) \(0 \leq A_i \leq 10^7\) Sol…

1.下载.NET core相应的SDK,https://dotnet.microsoft.com/download 2.安装完成后,打开命令提示符,输入命令 dotnet,检查是否正确安装,如果命令能够正常执行,并且输出相关信息及如何使用dotnet命令,说明安装成功(如下图),可以继续进行下面的工作 3.在命令提示符中依次运行命令: dotnet new console -o myAppcd myAppdotnet run 就可以看到命令行中输出了经典的 Hello World! 恭喜,你的第…