kooyee ‘s blog

     摘要: 一個clause形如
B1，B2, …, Bm >- A1, A2, …, An

如果A1, A2, …, An同時成立，那么可以導出B1或B2，…, 或Bm
A之間是and的關(guān)系，B是or的關(guān)系。

如果X是Z的父母，且Z是Y的父母，那么X是Y的祖父母
grandparent(X, Y) >- parent(X, Z), parent(Z, Y).

不能導出結(jié)論，good和bad不可能同時成立
>- good(X), bad(X).

  閱讀全文

     摘要: xsl本身就是一個構(gòu)型良好的xml，它能夠把一個xml文檔轉(zhuǎn)換成另外一個xml文檔，或者轉(zhuǎn)換成文本文件、html文件等等。這里就是利用xsl來動態(tài)的生成我們想要的java文件（從某種角度看，java代碼其實也就是一個文本文件），希望能夠通過這篇文章，看到xml以及相關(guān)的技術(shù)所具有的強大能力！  閱讀全文

     摘要: 代碼生成器（code generator，CG），顧名思義就是生成代碼的工具。有了它，你就可以從一組簡單的設(shè)定或者數(shù)據(jù)庫設(shè)計中獲得幾百、幾千行代碼。如果不采用這項技術(shù)的話，開發(fā)者就不得不花上幾個小時或者幾天的時間來手工編寫這些代碼。另一方面，優(yōu)秀的開發(fā)工具為了提供其獨特的功能或者屏蔽一些容易出錯的細節(jié)，也往往采用代碼生成技術(shù)為使用者提供一個程序的模板框架，其目的也是為了提高編程的效率。以上觀點僅是對代碼生成器的一般理解，換句話說，這似乎是一個可有可無的東西，沒有它，不過是多費一些人工而已。然而，本文要介紹的這套名為ASM的JAVA工具類的功能非同小可，它可以生成JAVA字節(jié)碼,也就是class文件。你可以在應用程序中根據(jù)情況動態(tài)生成各式各樣的class,然后就調(diào)用，達到一種近乎上帝造物般的神奇。心動不如行動，如果你也想在自己的開發(fā)中引入這一超前的編程技術(shù)，請看此文。

  閱讀全文

     摘要: 什么是元數(shù)據(jù)，元數(shù)據(jù)就是描述數(shù)據(jù)的數(shù)據(jù)（data about data）。最明顯的例子是XML Schema，xml schema就是描述xml的數(shù)據(jù)，所以它是元數(shù)據(jù)。另一個例子是數(shù)據(jù)庫，比如我們可以查詢數(shù)據(jù)庫中有幾個表，每個表都有什么字段，這些數(shù)據(jù)就是元數(shù)據(jù)。Office:office" />

在開發(fā)的世界里，元數(shù)據(jù)就是能夠綁定到一個類的附加信息，在靜態(tài)或者運行時間。JCR175給我們提供annotation就是一種元數(shù)據(jù)。

不過在這之前一個我們已經(jīng)廣泛使用的元數(shù)據(jù)是XML，如就是EJB的XML發(fā)布描述符中，你需要定義基于每一個方法的事務屬性。應用服務器指導什么時候，什么地方開始，掛起或者提交一個事務，因為你在BEAN的XML的配置文件中的元數(shù)據(jù)內(nèi)已經(jīng)定義如方法：Required，RequiresNew，Support等等，它們綁定在你的EJB類和事務管理之間。XDoclet是另一個元數(shù)據(jù)的例子。  閱讀全文

     摘要: 讓FCKeditor在 JSP和JSF 網(wǎng)站項目中跑起來
一、準備功夫
1.1 下載最新版的FCKeditor
http://www.fckeditor.net/download/
目前最新版是：FCKeditor 2.3.1（FCKeditor_2.3.1）和 FCKeditor.Java（FCKeditor-2.3）
1.2 如果需要使用到j(luò)sf的標簽庫，則還需要下載fck-faces-1.5.1, 你可以到
http://sourceforge.net/projects/fck-faces去下載

說明：
FCKeditor 2.3.1 是功能完善的可視化編輯器，文件上傳管理部分功能已經(jīng)支持asp,php,aspx...等等，
唯獨尚未支持jsp，幸運的是Simone Chiaretta制作了Java 的整合文件FCKeditor.Java。

  閱讀全文

     摘要: 首先,FCKEDITOR的性能是非常好的,用戶只需很少的時間就可以載入FCKEDITOR所需文件.對于其他在線編輯器來說,這幾乎是個很難解決的難題,因為在開啟編輯器時需要裝載太多的文件.比如CUTEEDITOR,雖然功能比FCKEDITOR還要強大,可是,它本身也夠龐大了,至于FREETEXTBOX等,其易用性與FCKEDITOR相比,尚有差距,可以說,FCKEDITOR是一個別具匠心的在線編輯器,它里面融入了作者高深的面向?qū)ο蟮腏AVASCRIPT功力,集易用性與強大的功能與一體.
【全文】
  閱讀全文