ユニフィケーションの英語

ＶＬＡＮＫ文間のユニフィケーション（代入組）候補が複数存在する場合、各ユニフィケーション候補の有望度を、ユニフィケーションによりできる（ＰＲＯＬＯＧでは右辺の）ＶＡＬＮＫ文（ないしはＶＬＡＮＫ文集合）と知識源内の１以上の文（離散的であってもよく情報源が別であってもよい）とのパターンとしての類似性により計算する。例文帳に追加

When there are a plurality of unification (substitution set) candidates between VLANK statements, promising degree of each unification candidate is calculated by similarity as a pattern between a VALNK statement (or VLANK statement set) (at the right side in PROLOG) created by unification and at least one statement (it may be discrete or the information source may be different) in the knowledge source. - 特許庁

ユニフィケーションモードを設定すると、複数の言語が混在するデータが、少なくとも１つの言語に統一して翻訳され、その言語で出力される。例文帳に追加

Data mixing plural languages are uniformly translated into one language at least and outputted in that language. - 特許庁

ファクトの集合（知識源）、ルール、および、問い合わせ（実行命令）において、述語ないし関数とパラメータ（引数）とが区別されず、いずれもがユニフィケーション等において変数に代入されうる。例文帳に追加

In the set (knowledge source) of fact, rules, and inquiries (execution commands), predicates and functions, and parameters (arguments) are not distinguished, and all can be substituted for variables in unification, or the like. - 特許庁

データを他言語に翻訳する翻訳手段２０１と、該翻訳手段によって翻訳されたデータを出力する出力手段１０３と、ユニフィケーションモードが設定されたか否かを判断するモード判断手段とを備えている。例文帳に追加

The automatic translation apparatus comprises a translation means 201 for translating data into another language, an output means 103 for outputting the data translated by the translation means, and a mode determination means for determining whether or not a unification mode has been set. - 特許庁

ユニフィケーションモードが設定されたと判断された場合には、前記翻訳手段に、複数の言語が混在するデータを少なくとも一つの言語に統一して翻訳させるとともに、前記出力手段に、前記翻訳後の言語でデータを出力させる。例文帳に追加

If it is determined that the unification mode has been set, the translation means is caused to translate mixed data in a plurality of languages into at least one uniform language, and the output means is caused to output the data in the target language after translation. - 特許庁