LOGIC PROGRAMMING Meaning in Japanese - translations and usage examples

• 論理プログラミング
• ロジックプログラミングを

Examples of using Logic programming in English and their translations into Japanese

Logic Programming.
論理プログラミング。

Parallel Logic Programming.
並列論理プログラミング。

This notion is known from many languages including dataflow languages and concurrent logic programming languages.
この概念はデータフロー言語と並行論理プログラミング言語を含む多くの言語で知られています。

Time Logic Programming.
時論理プログラミング。

In the intermediate stage, research on constrained logic programming languages was started.
中期には,制約論理プログラミングの研究も開始された。

Logic programming is, in its broadest sense, the use of mathematical logic for computer programming.
論理プログラミング（LogicProgramming）とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。

Constraint Logic Programming.
制約論理プログラミング。

In 1958, he proposed the advice taker, which inspired later work on question-answering and logic programming.
年にはadvicetakerを提案し、それが後の質問応答システムや論理プログラミングに影響を与えることとなった。

Logict: logic programming.
関連：論理プログラミング。

Matt Hecht had me learn about data-flow analysis; Allen Van Gelder did the same with logic programming.
MattHechtは、私にデータフロー解析について学ばさせてくれたし、AllenVanGelderのおかげで、ロジックプログラミングを学ぶことになった。

Equational Logic Programming.
並行論理プログラミングほ。

In pure logic programming languages, the control component is fixed and algorithms are specified by supplying only the logic component.
純粋な論理プログラミングでは、制御部分が固定されていて、アルゴリズムは論理部分だけで指定される。

Nevertheless attempts were made to extend logic programming to concurrent computation.
それにも関わらず、論理プログラミングを並行計算に拡張しようという試みがなされた。

This trend in turn led in 1977 to the development of the deductive database as a combination of the relational database and logic programming languages.
こうして、1977年頃、関係データベースと論理プログラミング言語を組み合わせたものとして、演繹データベース(DDB)が誕生します。

Compile Time Logic Programming in Scala- What For?
Scalaにおけるコンパイル時論理プログラミング:しかし何のため?

We are also studying the theory of categories applicable to the theory of programs, automata theory, logic programming and concept analysis.
カテゴリー論についてプログラム理論、オートマトン理論、論理プログラミング、概念構成などのソフトウェア科学への応用の観点から研究指導を行う。

The most well-known logic programming language is Prolog.
一番有名は論理プログラミング言語はPrologである。

These programs can be used for two different purposes: First, they can be used to evaluate(constraint) logic and parallel logic programming languages and systems.
第一に、これらのプログラムは制約と並列論理プログラミングシステムの評価に使える。

The side as an extension of Logic Programming was emphasized too much and Constraint Programming tended to be considered indivisible from Logic Programming Language.
論理プログラミングの拡張という側面が強調されすぎて、論理型言語と不可分のものと考えられる傾向にあった。

Jason is an interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java.
Jasonは、BDIエージェント指向論理プログラミング言語であるAgentSpeak拡張版のための本格的なインタプリタであり、Javaで実装されています。

Another important type of programming is logic programming, where a program can be thought of as a set of rules stating what it should do, rather than instructions on how to do it.
もう一つの重要なプログラミングの種類は論理プログラミングだ、そこではプログラムはどうするかと指示するより、何をすべきかというルールセットと考えることができる。

H9 itaku-kenkyu Abstract-06 We designed a data mining engine Datagol based on Inductive Logic Programming and implemented a prototype of the system.
H9itaku-kenkyugaiyou-06帰納論理プログラミングによるデータマイニングエンジンDatagolの開発のために、その基本設計を行い、プロトタイプを試作した。

In this study, the Railway Technical Research Institute(RTRI) has developed two kinds of algorithm that can automatically schedule cars and locomotives using the techniques of probabilistic local search and constraint logic programming.
本研究では、確率的局所探索および制約論理プログラミングという手法を用いて、車両運用計画を自動的に作成することができる二種類のアルゴリズムを開発しました。

The first implementations of constraint logic programming were Prolog III, CLP(R), and CHIP.
制約論理プログラミング言語の実装としては、PrologIII、CLP(R)、CHIPがある。

Naturally, Haskell lets users define their own monads, and now the programmer has access to monads for continuations, transducers, exceptions, logic programming and more.
もちろん、Haskellではユーザが独自のモナドを定義できますので、プログラマはモナドにアクセスすることで、継続、トランスデューサ、例外、論理プログラミングなどを記述できるようになっています。

The FactoryTalk Batch with PhaseManagerTM capability simplifies phase logic programming and configuration by making it possible to create equipment phases without phase logic interface(PLI) code.
FactoryTalkBatchwithPhaseManagerTM機能では、フェーズ・ロジック・インターフェイス(PLI)コードなしで機器フェーズを作成できるようになり、フェーズロジックのプログラミングと構成が簡略化されます。

The Follow-on Project aims to disseminate the FGCS technology which was developed in the FGCS Project by combining highly parallel processing and knowledge processing technologies using logic programming as its kernel language.
後継プロジェクトは第五世代コンピュータプロジェクトで開発されたFGCS技術の普及を目的としている.FGCS技術は核言語にロジックプログラミングを用い,高度な並列処理と知識処理技術を組み合わせて開発された。

Level 2: Basic Ladder Logic Programming| Rockwell Automation Description This course(CCP151) provides you with the resources to program basic ladder logic instructions for Logix5000TM controllers.
Level2:BasicLadderLogicProgramming|RockwellAutomation説明このコース(CCP151)では、Logix5000TMコントローラの基本的なラダーロジック命令をプログラムするためのリソースを提供します。

Datagol A prototype system of data mining engine based on inductive logic programming.[Features of the Software] Datagol is a prototype system of data mining engine based on ILP system Progol, and MG-Progol.
Datagol帰納論理プログラミングに基づくデータマイニングエンジン[ソフトウエアの機能・特徴]DatagolはProgol及びそのボトムアップ処理系であるMG-Progolを基にした、帰納論理プログラミングに基づくデータマイニングエンジンのプロトタイプである。