GENI的核心 -- 推理机（2）流程控制
1、细说fail、“!”与回溯
与其他语言相比，Prolog最大的特点，是它的回溯机制。
回溯机制，主要手段有2个，一是用谓词fail引发回溯，二是用特别谓词“!”（读作cut）取消回溯。
Prolog运用fail引发回溯，实现程序的循环，并运用“!”对回溯进行控制。
看一个典型示例：
FACTS
f(integer)
PREDICATES...
分类：
Web程序 时间：
2014-07-18 21:22:49
阅读次数：
243
/** * 根据id获取元素文本 * @param {String} id|元素id * return {Integer || String} text */function getText(id){ var text = $('#'+ id).text().replace(/(^\s*)|(\s*...
分类：
其他好文 时间：
2014-07-18 19:11:20
阅读次数：
199
Reverse IntegerReverse digits of an integer.Example1:x = 123, return 321Example2:x = -123, return -321click to show spoilers.Have you thought about th...
分类：
其他好文 时间：
2014-07-18 09:34:59
阅读次数：
212
Reverse a linked list from positionmton. Do it in-place and in one-pass.For example:Given1->2->3->4->5->NULL,m= 2 andn= 4,return1->4->3->2->5->NULL.No...
分类：
其他好文 时间：
2014-07-18 00:32:24
阅读次数：
271
Factovisors
The factorial function, n! is defined thus for n a non-negative integer:
0! = 1
n! = n * (n-1)! (n > 0)
We say that a divides b if there exists an integer k such that
k*a =...
分类：
其他好文 时间：
2014-07-17 19:05:06
阅读次数：
235
竖直拍照if (Integer.parseInt(Build.VERSION.SDK) >= 8) { camera.setDisplayOrientation(90); } else { if (getResources().getConfiguration().ori...
分类：
移动开发 时间：
2014-07-17 14:34:49
阅读次数：
252
一、扩展函数原型的更好办法：//定义下面的通用方法
Function.prototype.method=function(name,func){
this.prototype[name]=func;
returnthis;
};
//使用上面的通用方法作为工具进行扩展，以免每次扩展都访问Function.prototype.XXX(that‘sugly).
Number.method(‘integer‘,fun..
分类：
编程语言 时间：
2014-07-17 09:44:42
阅读次数：
259
jqGrid的格式化是定义在语言包中·$jgrid={·...·formatter:{·integer:{thousandsSeparator:"",defaultValue:'0'},·number:{decimalSeparator:".",thousandsSeparator:"",decim...
分类：
其他好文 时间：
2014-07-16 23:43:21
阅读次数：
664
时间 ：2014-7-11 11：38 调试iHealthGateway和云通信时发现问题(时间戳TS)问题：Linux编译时候定义了一个unint64_t = 1405043216129 （64位unsigned long long int 取值范围之内） 但编译的时候总是出现warnin...
分类：
其他好文 时间：
2014-07-16 15:37:18
阅读次数：
245
程序中用到一个大整数。存储在 MySQL 数据库那边用了 bigint 类型，程序运算过程中就有了点麻烦。integer用不了，只能用 __int64 这个数据类型。麻烦一，从数据表取数据。以前在数据表取回整形数据时用的都是Query->FieldByName("data")->AsInteger这...
分类：
编程语言 时间：
2014-07-16 15:35:52
阅读次数：
230
