介绍HTTP 协议定义一些方法，以指明为获取客户端（如您的浏览器或我们的 CheckUpDown 机器人）所指定的具体网址资源而需要在 Web 服务器上执行的动作。则这些方法如下：OPTIONS( 选项 ) ：查找适用于一个特定网址资源的通讯选择。 在不需执行具体的涉及数据传输的动作情况下， 允许客...
分类：
其他好文 时间：
2014-07-22 22:57:56
阅读次数：
316
可以和Haskell ， Prolog 一样做到模式匹配，
建立逻辑推到规则，描述问题，得出答案。
from pyDatalog import pyDatalog
pyDatalog.create_atoms( 'N, N1, X, Y, X0, X1, X2, X3, X4, X5, X6, X7' )
pyDatalog.create_atoms( 'ok,queens, nex...
分类：
编程语言 时间：
2014-07-19 23:31:49
阅读次数：
377
GENI的核心 -- 推理机（2）流程控制
1、细说fail、“!”与回溯
与其他语言相比，Prolog最大的特点，是它的回溯机制。
回溯机制，主要手段有2个，一是用谓词fail引发回溯，二是用特别谓词“!”（读作cut）取消回溯。
Prolog运用fail引发回溯，实现程序的循环，并运用“!”对回溯进行控制。
看一个典型示例：
FACTS
f(integer)
PREDICATES...
分类：
Web程序 时间：
2014-07-18 21:22:49
阅读次数：
243
1234// 当前系统支持的最小版本__IPHONE_OS_VERSION_MIN_REQUIRED// 当前系统支持的最大版本__IPHONE_OS_VERSION_MAX_ALLOWED比如用 iPhone OS SDK 3.1.2 编译的程序12__IPHONE_OS_VERSION_MIN_...
分类：
其他好文 时间：
2014-07-18 21:08:43
阅读次数：
201
GENI的核心 -- 推理机（4）求证过程分析
1、GENI知识库结构
专家系统推理机的设计运行，与其知识库结构紧密相关。
GENI知识库结构是一棵逻辑推理树。根节点是animal，即求证的目标。
Animal有2个子节点，即求证的子目标。节点或子目标，用rule表示。例如：
rule(8,"animal","mammal",[12,13],"")
rule(9,"animal","b...
分类：
Web程序 时间：
2014-07-18 18:10:04
阅读次数：
221
GENI的核心 -- 推理机（3）一些谓词
为了集中注意力，较好地分析GENI推理机核心程序，应该做些准备工作，弄明白一些起辅助作用的谓词功能。
is_htmlfile(Rulexpl)
is_htmlfile(FILE):-
filenameext(File,_Name,Mask),
Mask = ".htm",!.
is_htmlfile(FILE):-
f...
分类：
Web程序 时间：
2014-07-18 13:33:16
阅读次数：
293
Follow up for "Remove Duplicates":What if duplicates are allowed at mosttwice?For example,Given sorted array A =[1,1,1,2,2,3],Your function should ret...
分类：
其他好文 时间：
2014-07-17 22:24:40
阅读次数：
216
昨天晚上一个坑爹的问题折腾了我一晚上，首先我来说下我的代码,我建立了一个index的控制器然后呢 在控制器里有一个index的方法。页面模板都有。if ( ! defined('BASEPATH')) exit('No direct script access allowed');class In....
分类：
其他好文 时间：
2014-07-16 16:57:34
阅读次数：
208
GENI的核心 -- 推理机（1）知识表示
GOAL段最后一句是子句infer()，它的含意是“推理”。
由此，进入GENI的核心，察看推理机的运行。
infer()
infer():-
topic(Maingoal,_),
go([],MainGoal,""),!.
infer():-
errorexit.
topic(Maingoal,_)
topic现存于事实...
分类：
Web程序 时间：
2014-07-14 18:19:52
阅读次数：
303
一、问题
在安装opencms是会出现如下错误：
MySQL system variable 'max_allowed_packet' is set to 1048576 Byte (1MB).
Please note that it will not be possible for OpenCms to handle files bigger than this value in ...
分类：
其他好文 时间：
2014-07-12 22:58:44
阅读次数：
353
