"logic programming"辞典での英語の意味

英語でLOGIC PROGRAMMINGの発音

logic programming

英語でLOGIC PROGRAMMINGはどんな意味ですか？

論理プログラミング

Logic programming

論理プログラミングは、正式論理に基づくプログラミングパラダイムです。 論理プログラミング言語で書かれたプログラムは、論理形式の文のセットであり、いくつかの問題領域についての事実と規則を表現している。 主要なロジックプログラミング言語ファミリーには、Prolog、Answer set programming、Datalogがあります。 これらすべての言語では、規則はH：-B1、...、Bnという節の形式で記述されます。 論理的意味合いとして宣言的に読み込まれます。B1と...とBnの場合はHです。 Hはルールの頭と呼ばれ、B1、...、Bnはボディと呼ばれます。 H、B1、...、Bnがすべて原子式である最も簡単な場合、これらの節は定義節またはホーン節と呼ばれます。 しかし、この単純なケースの多くの拡張が存在します。最も重要なのは、節の条件が原子式の否定である場合です。 この拡張を含む論理プログラミング言語は、非単調論理の知識表現能力を有する。

Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer set programming and Datalog. In all of these languages, rules are written in the form of clauses: H :- B1, …, Bn. and are read declaratively as logical implications: H if B1 and … and Bn. H is called the head of the rule and B1, …, Bn is called the body. Facts are rules that have no body, and are written in the simplified form: H. In the simplest case in which H, B1, …, Bn are all atomic formulae, these clauses are called definite clauses or Horn clauses. However, there exist many extensions of this simple case, the most important one being the case in which conditions in the body of a clause can also be negations of atomic formulae. Logic programming languages that include this extension have the knowledge representation capabilities of a non-monotonic logic.

英語辞典でのlogic programmingの定義

辞書における論理プログラミングの定義は、正式な表現またはセグメントの校正を発見または確認することができるコンピュータプログラムの研究または実施である。

LOGIC PROGRAMMINGの翻訳

当社の英語多言語翻訳者が翻訳した25ヵ国語のlogic programmingを探してみましょう。

自動統計翻訳によって、このセクションで示されている英語から他の言語へのlogic programmingの翻訳を訳しました。この場合は、必須の翻訳単位は英語で«logic programming»という単語です。

• 英語翻訳家 - 中国語: 逻辑编程
• 英語翻訳家 - スペイン語: programación lógica
• 英語: logic programming
• 英語翻訳家 - ヒンディー語: तर्क प्रोग्रामिंग
• 英語翻訳家 - アラビア語: برمجة المنطق
• 英語翻訳家 - ロシア語: логического программирования
• 英語翻訳家 - ポルトガル語: Programação em Lógica
• 英語翻訳家 - ベンガル語: লজিক প্রোগ্রামিং
• 英語翻訳家 - フランス語: programmation logique
• 英語翻訳家 - マレー語: Pengaturcaraan logik
• 英語翻訳家 - ドイツ語: Logikprogrammierung
• 英語翻訳家 - 日本語: ロジックプログラミング
• 英語翻訳家 - 韓国語: 논리 프로그래밍
• 英語翻訳家 - ジャワ語: Pamrograman logika
• 英語翻訳家 - ベトナム語: lập trình logic
• 英語翻訳家 - タミル語: தர்க்கம் நிரலாக்க
• 英語翻訳家 - マラーティー語: लॉजिक प्रोग्रामिंग
• 英語翻訳家 - トルコ語: Mantık programlama
• 英語翻訳家 - イタリア語: programmazione logica
• 英語翻訳家 - ポーランド語: programowanie w logice
• 英語翻訳家 - ウクライナ語: логічного програмування
• 英語翻訳家 - ルーマニア語: programarea logică
• 英語翻訳家 - ギリシャ語: λογική προγραμματισμού
• 英語翻訳家 - アフリカーンス語: logika ontwikkeling
• 英語翻訳家 - スウェーデン語: logikprogrammering
• 英語翻訳家 - ノルウェー語: logikk programmering

«LOGIC PROGRAMMING»に関連する英語の本

以下の図書目録からlogic programmingの使いかたを見つけましょう。logic programmingに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。

Logic, programming, and Prolog

This new edition covers the latest advances in logic programming research.

Ulf Nilsson, Jan Małuszyński, 1995

From Logic to Logic Programming

It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic ...

Kees Doets, 1994

Logic Programming: Proceedings of the Twelfth International ...

Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism.

Leon Sterling, 1995

Inductive Logic Programming: From Machine Learning to ...

In this book they provide an extended, up-to-date survey of ILP, emphasizing methods and systems suitable for software engineering applications, including inductive program development, testing, and maintenance.

Francesco Bergadano, 1996

Logic Programming with Prolog

"This book does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic, or Artificial Intelligence.

Max A. Bramer, 2005

Logic Programming: Proceedings of the Tenth International ...

Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.

David S. Warren, 1993

From logic programming to Prolog

The text includes an introduction to programming in Prolog and deals with such programming issues as determination, o This exciting text is the first to make it possible to teach the foundations of logic programming and Prolog programming ...

Krzysztof R. Apt, 1997

Probabilistic Inductive Logic Programming

This book provides an introduction to probabilistic inductive logic programming. It places emphasis on the methods based on logic programming principles and covers formalisms and systems, implementations and applications, as well as theory.

Luc De Raedt, 2008

Advances in Logic Programming and Automated Reasoning

This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic ...

Ralph W. Wilkerson, 1992

Foundations of Inductive Logic Programming

The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volume.

Shan-Hwei Nienhuys-Cheng, Ronald de Wolf, 1997

用語«LOGIC PROGRAMMING»を含むニュース項目

国内外の報道機関が語った内容や、次のニュース項目の文脈からlogic programmingという用語がどのように使われているかを調べてみましょう。

Adept Technology: Packaging robot | Healthcare Packaging

The robot can also be programmed directly from a PLC, minimizing training and deployment time by using familiar ladder logic programming ... «Healthcare Packaging, 7月 15»

Countering social influence and persuasion of extremist groups

"This requires embedding psycho-social models in a logic programming framework that can gather and analyze social networks, specific ... «Phys.Org, 7月 15»

Remember: Respect your technology elders

It had a standard serial port and it was preloaded with the vendor's DOS-based ladder-logic programming utility. Nobody expected it to run ... «ITProPortal, 7月 15»

Arizona State University Awarded Minerva Grant to Research …

“This requires embedding psycho-social models in a logic programming framework that can gather and analyze social networks, specific ... «HSToday, 7月 15»

Kootenay Lake students clean up at national science competition

Paun, a Grade 12 student at Mount Sentinel, earned his spot at the national competition for developing Chemlogic: A Logic Programming ... «Nelson Star, 6月 15»

Aspiring Astronaut Brings Home Two National Awards

... granted him the opportunity to present at two international aerospace conferences and is published in “Logic Programming: Theory, Practices ... «University of Cincinnati, 6月 15»

Yokogawa Releases New UTAdvanced Series DIN Rail Mounting …

The UTAdvanced controller comes standard with a sequence control function based on the ladder logic programming language, which is ... «Automation World, 4月 15»

Budding local scientists win big at regional science fair

Paun, in Grade 11 at Mount Sentinel in South Slocan, entered his second edition Chemlogic: A Logic Programming Chemistry System and won ... «Nelson Star, 4月 15»

Student Scientists show their stuff at Regional Science Fair

Paun, a Grade 11 student at Mt. Sentinel School, entered his second edition Chemlogic: A Logic Programming Chemistry System and won the ... «The Nelson Daily, 4月 15»

Progea USA Announces New Bosch Rexroth MLPI Driver for …

When using the Bosch-Rexroth's Motion Logic Programming Interface (MLPI) libraries, Movicon will simplify the work of design engineers by ... «AutomatedBuildings.com, 4月 15»