Word description The quotations takes an environment and returns two values. =:= returns the internal representation of the goal which returns t if values returned by the quotation are same numbers.
=:= is intended to be used in a quotation. If there is a quotation in the definition of rule, logic uses the internal definition of the goal obtained by calling it.