方寸心思 » 原创

在SWI-PROLOG中用自定义运算符定义常量

hugsnow — Sat, 11 Oct 2008 13:32:56 +0000

通过查看帮助，我发现在SWI-PROLOG中无法定义常量，而有些PROLOG版本是可以的，如以前DOS版本的Turbo PROLOG。但是在书写程序时没有常量就很不方便了，如果使用字面常量，一是程序会使程序很难理解，二是修改的时候很不方便，凡是程序中出现这个常量的地方都要修改，极有可能出现遗漏；如果把常量定义成一元谓词如pi(3.14)，那么使用的时候又要先调用一次谓词，如：pi(PI),s is Pi*R*R.显得也很多余。
那么有没有办法在SWI-PROLOG中定义常量呢?当然可以，比如swi-prolog就定义得有符号pi和e，下面就以自定义符号pie=pi+e为例

pie(X):-X is pi+e.
:- arithmetic_function(pie/0).

装入这个文件后，就可以在表达式中使用使用这个常量pie了。
arithmetic_function的功能就是自定义运算符，在定义是需指明自定义函数的个数；在定义谓词时，最后一个个体变元必须是输出参数，用于保存结果。所以在arithmetic_function谓词中指明的参数个数应该比实际的变元个数少1。

从n个数字中取r个数的组合算法，并输出组合(C++)

hugsnow — Sun, 20 Jul 2008 16:07:50 +0000

本文由抱雪(hugsnow)原创，转载请注明来源 http://www.luoxf.net/

 1 #include 
 2 #include 
 3 #include 
 4 #include 
 5 using namespace std;
 6 /**
 7  * 分析：组合无序，所以不妨设降序排列
 8  * 第一个解是[n,n-1,...,n-r+1]
 9  * 解的条件是位置i上的元素A[i]应该满足
10  * i+A[i]>=r
11  * 回溯法：对最后一个元素减一
12  * 如果满足条件则得到一个新解
13  * 如果不满足，一直向前回溯到该位满足为止
14  * 然后把满足的那位后面的依次等于前面减一
15  * 从而得到一组新解,然后继续
16  * 如果已经回溯到第一位仍不满足
17  * 则所有解都已经找到，终止
18  */
19 vector int> > comb(int n,int r){
20     vector int> > vv;
21     vector <int> tmp(r);
22     int i;
23     bool f=false;
24     for(i=0;i25     vv.push_back(tmp);
26     while(true){
27         tmp[r-1]--;
28         for(i=r-1;i>=0;i--){
29             if(tmp[i]+i>=r)
30                 break;
31             else{
32                 if(i==0){
33                     f=true;
34                     break;
35                 }
36                 tmp[i-1]--;
37                 if(tmp[i-1]+i-1>=r){
38                     for (int j=i; j < r; j++) {
39                         tmp[j]=tmp[j-1]-1;
40                     }
41                 }
42             }
43         }
44         if(f)break;
45         vv.push_back(tmp);
46     }
47     return vv;
48 }
49

韩信走马分油问题

hugsnow — Sun, 06 Jul 2008 20:43:14 +0000

本文由抱雪(hugsnow)原创，转载请注明来源 http://www.luoxf.net/

方法很简单
方法一：
1、如果小桶空，从大桶到小桶
2、如果中桶满，从中桶到大桶
3、如果中桶空间能容纳小桶内的，把小桶全倒中桶
4、从小桶倒，把中桶倒满
方法二：完全类似，不过到油的方向为大桶–>中桶–>小桶
1 dao(X,X,0):-!. 2 % 倒法1：从大桶往小桶倒，小桶往中桶到 3 % 3号桶空时从1号往3号桶倒 4 dao(X,Y,0):- 5 tong(_,_,C), 6 X1 is X-C, 7 Z = C, 8 write(‘从第一个桶倒’-Z-‘到第三个桶,’), 9 write(‘现在三个桶的状态’-X1-Y-Z), 10 nl, 11 dao(X1,Y,Z). 12 % 2号桶满时从2号往1号桶倒 13 dao(X,Y,Z):- 14 tong(_,B,_), 15 Y=B, 16 X1 is X+Y, 17 write(‘从第二个桶倒’-Y-‘到第一个桶,’), 18 write(‘现在三个桶的状态’-X1-0-Z), 19 nl, 20 dao(X1,0,Z). 21 % 2号桶空余超过3号时从3号往2号桶倒完 22 dao(X,Y,Z):- 23 tong(_,B,_), 24 M is B-Y, 25 Z>0, 26 M>=Z, 27 Y1 is Y+Z, 28 write(‘从第三个桶倒’-Z-‘到第二个桶,’), 29 write(‘现在三个桶的状态’-X-Y1-0), 30 nl, 31 dao(X,Y1,0). 32 % 2号桶空余不足3号时从3号往2号桶倒部分 33 dao(X,Y,Z):- 34 tong(_,B,C), 35 M is B-Y, 36 Z=C, 37 M<Z, 38 M>0, 39 Z1 is Z-M, 40 write(‘从第三个桶倒’-M-‘到第二个桶,’), 41 write(‘现在三个桶的状态’-X-B-Z1), 42 nl, 43 dao(X,B,Z1). 44 :-assert(tong(12,7,5)),dao(12,0,0).

ip 和数字转换的 php 代码

hugsnow — Wed, 18 Jun 2008 22:14:29 +0000

function ip2number($ip){
                $t=explode('.',$ip);
                $x=0;
                for($i=0;$i<4;$i++){
                    $x = $x*256+$t[$i];
             }
                return $x;
            }
 function number2ip($num){
                $t=$num;
                $a=array();
                for($i=0;$i<4;$i++){
                    $x=$t%256;
                    if($x<0)$x+=256;
                    array_unshift($a, $x);
                    $t = intval($t/256);
                }
                return implode('.',$a);
            }

A4Desk 网站文件破解

hugsnow — Sun, 15 Jun 2008 02:12:25 +0000

本文由抱雪(hugsnow)原创，转载请注明来源 http://www.luoxf.net/

A4Desk是一个不错的Flash站点建站工具，不过生成的swf文件很不爽，主要是1、单击3次就会显示注册对话框；2、会在网站上显示Demo 字样。
如果希望去掉这些信息，按如下步骤操作即可：
一、用A4Desk建立站点并导出。
二、用SothinkSWFDecompiler打开a4desk.swf文件，查看MainMovie的脚本，在第七帧会发现如下代码：
function chkclick(chkno) { 　　if (clickcount == 3) 　　{ 　　　　chk.gotoAndStop("popup"); 　　　　clickcount = 0; 　　} // end if } //
显然这就是点击数检测的函数，改变代码的查看方式为原始数据，得到其二进制为96 05 00 07 03 00 00 00 。用winHex等16进制编辑软件打开文件，查找这个字符串，把3（03000000H)改为2^32-1(FFFFFFFFH)即可拥有几乎无尽的点击次数。

三、查看资源中动画的最后几个，找到包含 DEMO 信息的动画，查看这些帧在flash文件中的位置并记录，然后用16进制编辑器把40 00 改为 00 00 即可删除 DEMO 信息，记住要修改所有的帧。

方寸心思 » 原创

在SWI-PROLOG中用自定义运算符定义常量

从n个数字中取r个数的组合算法，并输出组合(C++)

韩信走马分油问题

ip 和 数字转换的 php 代码

A4Desk 网站文件破解

ip 和数字转换的 php 代码