Are rules declared with the neck (:-
) equivalent to ones declared using single-sided unification (=>
), in case there is no guard?
eg.
<code>foo(X, Y) :- ...
% vs
bar(X, Y) => ...
</code>
<code>foo(X, Y) :- ...
% vs
bar(X, Y) => ...
</code>
foo(X, Y) :- ...
% vs
bar(X, Y) => ...
1