名「： - 」中置オペレータ

Question

は「 - 」は、以下の文脈において、おおよそ手段、Prologの論理プログラミング言語の中置演算子として機能する。

H :- B1, B2, ... BN 

Hが証明可能である体B1介してIF BNはすべて証明可能です。

私はPrologを勉強している間、私はこのシンボルに名前を付けることを無視しました。 :-の合意された名前は何ですか？

Answer 1

:-サインが含意矢印を表します。あなたは論理記号であなたの例を記述する場合、それは読む：

H ← B1 ∧ B2 ∧ ... ∧ BN

をだからあなたも言うことができます：「Hは、B1とB2と...とBNによって暗示されます"または"ルールの本体はその頭を意味する "。 オペレータ自身を「暗示矢印」または単に「含意」と呼ぶことも正しいです。

Answer 2

私はそれに同意したかどうかはわかりれないんだけど、ここでは「首」という名前を付けへの参照です：

http://www.cse.unsw.edu.au/~billw/prologdict.html#neck