: 狭める操作が柔軟と呼ばれ、一方、剛性と呼ばれるresiduate操作。定義されたすべての演算は柔軟性がありますが、算術演算のようなほとんどのプリミティブ演算は、推測が合理的なオプションではないため、剛性があります。 Prelude> x ++ [3,4] =:= [1,2,3,4] where x free
Free variables in goal: x
Result: succes
に私は最近、マーキュリーでは、このコード例に出くわした: append(X,Y,Z) :-
X == [],
Z := Y.
append(X,Y,Z) :-
X => [H | T],
append(T,Y,NT),
Z <= [H | NT].
はPrologのプログラマである、私は疑問に思う:ノーマル統一= との違いは何:=または=>こ
私は述語ロジックの式を表す標準データ型を持っています。和のための自然演繹除去規則を表す関数は次のようになります。 d_el p q =
if p =: (Dis r s) && q =: (Neg r) then Just s else
if q =: (Dis r s) && p =: (Neg r) then Just s else
Nothing where r