此文件提供的資訊是初始版本
ruleml 入門
概要此文件解釋ruleml，規則標記語言。ruleml是在全球資訊網上發布和共享規則的標記語言。ruleml是xml，rdf，xslt和owl的子集。資料儲存語言核心ruleml的核心就是基於資料儲存的洪氏邏輯語言。資料記錄和sql，prolog語言存在交集。所以這些可以看做一種展現資料庫或者表資料的程式設計。所以，在資料記錄中，我們定義的facts可以看做表中的資料行，rules是隱式定義檢視中的表。ruleml 資料記錄，作為一種標記語言，關聯的所有資訊可以使用自然語言來表達。為了說明資料記錄著一功能，我們使用ruleml開發了乙個例子使用自然語言規則的ruleml。這個例子是」獲得資格「功能在terry moriary's 商業邏輯規則中。語句：peter miller『s 上一年花費了至少5000eur。她可以轉化成一下ruleml的資料記錄spending
peter miller
min 5000 euro
previous year
通過觀察tags，
Warshall演算法 未完成版4 6
a是乙個基數為n的集合，r是a上的乙個關係，則有r r r 2 r3 r n 換句話說，計算不需要用到r的n次以上的冪。a，b是a中的元素，假設是r中一條從a到b的路，那麼都在r中。如果和是同乙個頂點，約定j i，那麼這段路能被劃分為三個部分。第一段從a到，第二段從到，第三段從到b。中間的第二段是個...
貪吃蛇 未完成版
當我乙個中午寫完下面的 時，突然感覺我也可以當大佬了 宣告 除了隱藏游標那個函式是上網扣的，其他均屬原創 include include include include using namespace std const int n 15 char sit n 1 n 1 ctl int d 4 2...
未完成作業
分治 1.一元三次方程求解 1015 2.迴圈比賽日程表 3.求方程的根 5.黑白棋子的移動 1310 6.光榮的夢想 2323 7.小車問題 1668 8.方程分f x 的根 9.求逆序對 1198 10.迴圈比賽 11.二分查詢 1135 12.麥森數 1030 動態規劃 挖地雷 取數字問題 搜...