詞項邏輯 的英文怎麼說
中文拼音 [cíxiàngluó]
詞項邏輯
英文
term logic- 詞 : 名詞1 (說話或詩歌、文章、戲劇中的語句) speech; statement; lines of play 2 (一種韻文形式 起於唐...
- 項 : Ⅰ名詞1 (頸的後部) nape (of the neck) 2 (款項) sum (of money) 3 [數學] (不用加、減號連接...
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 邏輯 : logic
-
However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing
但是隨著遞歸idb ( intensionaldatabase )謂詞的項的個數增大,經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。Which term describes a modification of a logical relationship that delays a successor task
下列哪個名詞描述了導致下一項任務延遲的邏輯關系的改變?Whether it ' s doing logic puzzles, memorizing lines from shakespeare, or learning a new skill, keep your brain busy, if you don ' t want it to rust away like a car in a junkyard
不論是做邏輯難題,熟記莎士比亞的臺詞,或者學會一項新技能,使你的大腦忙起來,如果你不想讓它想廢品堆里的轎車一樣銹掉的話。The central work of this paper is as follow : ( 1 ) a new factorizing optimization algorithm which reduce the arity of idb predicates by factorizing the logic program is presented magic transformation is applied to subprogram. moreover the decomposed subprogram can be implemented in parallel. therefore, it improves the efficiency of magic transformation
本文的主要工作如下: ( 1 )提出一種新的分解優化演算法,它通過對邏輯程序進行分解,減少idb謂詞項的個數,再對分解后的各個子程序進行魔集轉換,而且分解后的各個魔程序可并行執行,從而提高魔集轉換的執行效率。分享友人