logic programming中文是什么意思

發音:

中文翻譯
造句

邏輯編程
邏輯程式設計 [邏輯程序設計
邏輯程序設計

logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
logic of programming 程序設計邏輯
programming in logic prolog語言; 邏輯編程; 邏輯程序設計語言
programming logic 程序邏輯; 程序設計邏輯
constraint logic programming 邏輯程序設計
distributed logic programming，dlp 分散式邏輯程式設計
inductive logic programming 歸納邏輯程序設計
logic programming and expert systems 邏輯程序設計與專家系統
logic programming language 邏輯編程語言; 邏輯程序設計語言
logic programming machine 邏輯程序設計機
parallel programming in logic parlog語言; 并行邏輯程序設計語言
programming logic basis 程序邏輯基礎
programming logic chart 程序設計邏輯流程圖
programming logic manual 程序設計邏輯手冊
programming logic proof 程序設計邏輯證明
programming logic specification 程序設計邏輯規范書
programming 編程序的; 編程序規劃計劃; 程式設計，計畫擬編; 程式撰寫; 程序編寫; 程序化; 程序控制的; 程序設計,程序編制; 程序設計，編制程序; 規劃；程序設計，程序編制; 規劃；設計方案，編制程序；程序設計; 和諧編制; 計算機程序設計; 節目制作; 施工時間安排；工程程序；工程進度; 數控編程實習室; 用語; 張曉欣上海交通大學城市規劃本科
-logic -logic, -logical 〔構成與 -logy 結尾的名詞相應的形容詞〕表示“…學的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
a lication programming 應用程序設計
a olute programming 絕對程序設計
a programming language apl 語言; apl語言; 程序設計語言

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

The scientific logic program is a new research program of economic logics , which is different from the traditional program of applied form logic and the game program
摘要科學邏輯綱領是經濟學邏輯的一種新研究綱領，它既不同于傳統的應用形式邏輯加語言邏輯綱領，也不同于博弈論綱領。
In field of deductive database , magic transformation is an evaluation strategy that combines top - down with bottom - up . it restricts the computation of logic program to tuples that are related to the query
在演繹數據庫領域中，魔集轉換是一種自頂向下和自底向上相結合的計算策略，它使邏輯程序的計算始終限制在與查詢相關的數據中。
This research based on the nc110 numerical control system of catch numerical control company , and write the logic program with the language siprom , and complete the soft plc compiled system with c program
本文以凱奇數控公司的nc110數控系統為硬件平臺，以高級語言siprom編寫用戶的機床邏輯程序，用c語言編寫編譯程序完成對數控系統軟plc的編譯系統的設計。
We have implemented a series of algorithm , which includes rule adornment , logic program adornment and factorization , magic transformation , factorizing magic transformation . the platform is characteristic of transplant , expansion
處理器中實現了本文中用到的一系列算法，其中包括：規則修飾、邏輯程序的修飾、魔集轉換、邏輯程序的分解、分解的魔集轉換。
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 )謂詞的項的個數增大，經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。
Therefore it comes true the on - line adjusting , real - time control and so on . it sames as real locale . the software of logic protect ( include electric logic ) and control includes some usual algebraic and operation model of thermal control and logic operation of logic protect . it adopts foxboro ' s dcs as a example , so we configuration via filling table , user only define i / o condition , fill certain operation variable , and name logic variable . the software offers a friendly user ' s interface , personnel can compile and modify the control and logic program , change the value of logic and control variable conveniently , attach themselves to run , debug and control the set , not need to know about the inside of the old programs deeply . so the configuration software offer a flat that control engineer can attend to the structure of control loop and logic protect ( include electric logic ) , not but to handle complicated program
它以foxboro的dcs控制系統為主要參考模式，采用填表的方式進行控制組態，用戶只需定義i / o條件、填寫具體的運算變量名、邏輯變量名即可。本軟件為建模人員提供了一個友好的用戶界面，使建模人員在建模時不必對模塊內部的控制、邏輯程序有很深的了解就可以方便的對其進行編寫和修改，實時改變各邏輯和控制變量在數據庫里的值，參與運行和調試，從而實現對機組的控制。因此，本組態軟件提供的這樣一個平臺，讓控制工程師能集中精力于控制回路及邏輯保護（包含電氣邏輯）的構成，而不必拘泥于一些具體而煩瑣的程序操作。
Mvc - based web design pattern was adopted to design the whole system , interface design and logic programming were effectively archived by combination of t three java techniques : jsp , servlet and javabean . jsp was used to build user interface , servlet was used to play the role of controller and javabean was to encapsulate the business logic of model . the complete design of both model classes and controller classes were given in detail in this paper
采用了基于mvc的web應用體系。 jsp ( view ) + servlet ( controller ) + javabean ( model )的體系設計有效地實現了界面和邏輯的分離。本文對廣播電視行業綜合業務管理系統主要的模式類和控制器類進行了詳細的設計。
I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien
前者是將定性仿真算法看作一類約束滿足問題，用約束邏輯程序加以改進，不僅為解決定性仿真問題提供了邏輯框架，而且也是一種規范化的程序描述語言；模糊定性仿真算法則是對純定性仿真算法在知識描述、狀態轉移規則、過濾算法等方面的改進，是一類半定量描述方法，有利于在定性仿真領域綜合定量信息，同時提高算法的效率。
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謂詞項的個數，再對分解后的各個子程序進行魔集轉換，而且分解后的各個魔程序可并行執行，從而提高魔集轉換的執行效率。
We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples . some data mining techniques , which can be applied to semantic web mining , were also discussed in this thesis . we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail , and showed how to make use of this method in the semantic context
對于語義web挖掘中適合的數據挖掘技術進行了探討，提出了可采用歸納邏輯程序設計作為適合語義化web的數據挖掘技術，給出了如何應用這種技術的算法描述，并通過具體實例驗證了這種方法對于語義化web環境下進行數據挖掘是可行性。

更多例句： 1 2 3

英文解釋

creating a program that enables the computer to reason logically
同義詞：logic programing,
a computer language designed in Europe to support natural language processing
同義詞：Prolog, logic programing,

百科解釋

Logic programming is one of the 4 main programming paradigms. Its theory of computation is based on first order logic.

詳細百科解釋

其他語種釋義

logic programmingとは意味：logic programming ロジックプログラミング

推薦英語閱讀

logic programming的中文翻譯，logic programming是什么意思，怎么用漢語翻譯logic programming，logic programming的中文意思，logic programming的中文，logic programming in Chinese，logic programming的中文，logic programming怎么讀，發音，例句，用法和解釋由查查在線詞典提供，版權所有違者必究。