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
Palindrome NumberDetermine whether an integer is a palindrome. Do this without extra space.click to show spoilers.Some hints:Could negative integers b...
分类：
其他好文 时间：
2014-07-18 15:17:26
阅读次数：
201
泛型，类型安全机制。 好处： 1.将运行时期出现问题ClassCastException转移到了编译时期，方便解决问题，减少运行时期的问题，有利于程序的健壮性。 2.避免了强制转换的麻烦 泛型格式： ArrayList al = new ArrayList(); 若增加Integer类型的数据，在编...
分类：
编程语言 时间：
2014-07-18 14:13:04
阅读次数：
208
ParencodingsTime Limit: 1000 MS Memory Limit: 10000 KB64-bit integer IO format: %I64d , %I64u Java class name: Main[Submit] [Status] [Discuss]Descript...
分类：
其他好文 时间：
2014-07-18 12:17:40
阅读次数：
226
Evaluate the value of an arithmetic expression in Reverse Polish Notation.
Valid operators are +, -, *, /.
Each operand may be an integer or another expression.
Some examples:
["2", "1", ...
分类：
其他好文 时间：
2014-07-18 11:19:56
阅读次数：
210
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
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
