From 918513a870273ab70e6ea60ab25344b77a44fec3 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov The operator ==
is "stricter" than operator =
in the sense that
for the latter it is enough to be able to make the two operands equal (unification). Perhaps by using =
-you can make the predicate rev/2
more general (e.g. able to work with output arguments becoming inputs).conc/3
more general (e.g. able to work with output arguments becoming inputs).
Of course, you can also solve the exercise without explicit use of either of these two operators, just remember that unification is implicitly performed with the predicate's arguments (head of clause).
''', -- cgit v1.2.1